SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING

This page contains an index consisting of author-provided keywords.

#
#sat	Model Counting with Arbitrary Alphabets
B
balance of diversification and intensification	Proposal and Application of Search Similarity Index for SAT solver
bechnmarks	Applications of MaxSAT in Data Analysis
C
CDCL	Evaluating CDCL Restart Schemes
clustering	Applications of MaxSAT in Data Analysis
combinatorial optimization	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
community	Predicting SAT Solver Performance on Heterogeneous Hardware
complex systems	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
D
data analysis	Applications of MaxSAT in Data Analysis
DRAT	Checking Unsatisfiability Proofs in Parallel
E
EMA	Evaluating CDCL Restart Schemes
encodings	Applications of MaxSAT in Data Analysis
Exponential Moving Average	Evaluating CDCL Restart Schemes
G
Glucose	Evaluating CDCL Restart Schemes
graphical models	Applications of MaxSAT in Data Analysis
H
heterogeneous hardware	Predicting SAT Solver Performance on Heterogeneous Hardware
I
inclusion-exclusion	Model Counting with Arbitrary Alphabets
L
Lingeling	Evaluating CDCL Restart Schemes
M
Maximum Satisfiability	Applications of MaxSAT in Data Analysis
model counting	Model Counting with Arbitrary Alphabets
N
nanoelectronics	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
nanophotonics	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Natural computing	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
P
parallelization	Checking Unsatisfiability Proofs in Parallel
portfolio method	Proposal and Application of Search Similarity Index for SAT solver
prediction	Predicting SAT Solver Performance on Heterogeneous Hardware
R
regression	Predicting SAT Solver Performance on Heterogeneous Hardware
Restarts	Evaluating CDCL Restart Schemes
S
SAT	Predicting SAT Solver Performance on Heterogeneous Hardware Evaluating CDCL Restart Schemes
SAT solver	Proposal and Application of Search Similarity Index for SAT solver
U
unsatisfiability proofs	Checking Unsatisfiability Proofs in Parallel

Disclaimer | Powered by EasyChair Smart Program