POS-10:Keyword Index

Keyword	Papers
C
cache analysis	Towards Improving the Resource Usage of SAT-solvers
D
data structure	Improved Exact Solver for the Weighted MAX-SAT Problem
G
Gaussian elimination	Enhanced Gaussian Elimination in DPLL-based SAT Solvers
H
hybrid solver	Enhanced Gaussian Elimination in DPLL-based SAT Solvers
M
maximum satisfiability	Improved Exact Solver for the Weighted MAX-SAT Problem
O
Optimization	On Solving MaxSAT Through SAT
P
propagation algorithm	Improved Exact Solver for the Weighted MAX-SAT Problem
S
SAT	Enhanced Gaussian Elimination in DPLL-based SAT Solvers
SAT solving	Towards Improving the Resource Usage of SAT-solvers
satisfiability	On Solving MaxSAT Through SAT