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