Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
POS-10: Author Index
Author
Papers
A
Ansótegui, Carlos
On Solving MaxSAT Through SAT
B
Bonet, Maria Luisa
On Solving MaxSAT Through SAT
H
Hamadi, Youssef
From Parallel SAT to Distributed SAT
K
Kuegel, Adrian
Improved Exact Solver for the Weighted MAX-SAT Problem
L
Levy, Jordi
On Solving MaxSAT Through SAT
M
Manthey, Norbert
Towards Improving the Resource Usage of SAT-solvers
S
Saptawijaya, Ari
Towards Improving the Resource Usage of SAT-solvers
Soos, Mate
Enhanced Gaussian Elimination in DPLL-based SAT Solvers
Copyright © 2012-2024 easychair.org. All rights reserved.