Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.