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