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

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

Page 1

Enhanced Gaussian Elimination in DPLL-based SAT Solvers

Pages 2-14

Improved Exact Solver for the Weighted MAX-SAT Problem

Pages 15-27

Towards Improving the Resource Usage of SAT-solvers

Norbert Manthey and Ari Saptawijaya

Pages 28-40

On Solving MaxSAT Through SAT

Carlos Ansótegui, Maria Luisa Bonet and Jordi Levy

Pages 41-48

Keyphrases

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