HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
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
Youssef Hamadi
Page 1
Enhanced Gaussian Elimination in DPLL-based SAT Solvers
Mate Soos
Pages 2-14
Improved Exact Solver for the Weighted MAX-SAT Problem
Adrian Kuegel
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
Copyright © 2012-2023 easychair.org. All rights reserved.