Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

POS-10: Volume Information

POS-10. Pragmatics of SAT

Editors: Daniel Le Berre

EPiC Series in Computing•Volume 8

5 articles•48 pages•Published: May 15, 2012

Papers

From Parallel SAT to Distributed SAT

1

Enhanced Gaussian Elimination in DPLL-based SAT Solvers

2-14

Improved Exact Solver for the Weighted MAX-SAT Problem

15-27

Towards Improving the Resource Usage of SAT-solvers

Norbert Manthey and Ari Saptawijaya

28-40

On Solving MaxSAT Through SAT

Carlos Ansótegui, María Luisa Bonet and Jordi Levy

41-48

Keyphrases

cache analysis, data structure, Gaussian elimination, hybrid solver, maximum satisfiability, Optimization, propagation algorithm, SAT, SAT solving, satisfiability.