POS-14:Keyword Index

KeywordPapers
A
abstractionGeneric CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
C
CDCL algorithmGeneric CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
clause sharingValidating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
CNF formulasNew CNF Features and Formula Classification
CNF partitioningFormula partitioning revisited
complexity analysisTypical-case complexity and the SAT competitions
D
distributed computingDolius: A Distributed Parallel SAT Solving Framework
Divide and ConquerFormula partitioning revisited
DQBFiDQ: Instantiation-Based DQBF Solving
DQDIMACSiDQ: Instantiation-Based DQBF Solving
E
EPRiDQ: Instantiation-Based DQBF Solving
F
feature extractionNew CNF Features and Formula Classification
Fiduccia-Mattheyses algorithmFormula partitioning revisited
FrameworkDolius: A Distributed Parallel SAT Solving Framework
H
hypergraph partitioningFormula partitioning revisited
I
InstantiationiDQ: Instantiation-Based DQBF Solving
M
machine learningNew CNF Features and Formula Classification
P
parallel satisfiability solverValidating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Q
QBFiDQ: Instantiation-Based DQBF Solving
S
SATPost Mortem Analysis of SAT Solver Proofs
iDQ: Instantiation-Based DQBF Solving
SAT competitionsTypical-case complexity and the SAT competitions
SAT partitioningFormula partitioning revisited
SAT platformDolius: A Distributed Parallel SAT Solving Framework
SAT proofsPost Mortem Analysis of SAT Solver Proofs
SAT solversTypical-case complexity and the SAT competitions
SAT solvingPost Mortem Analysis of SAT Solver Proofs
New CNF Features and Formula Classification
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
T
transition systemGeneric CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
typical-case complexityTypical-case complexity and the SAT competitions
U
unsatisfiability proofValidating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers