VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

B
Backtracking Algorithms	Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms
BreakIDGlucose	BreakIDGlucose: on the importance of row symmetry
C
completeness	BreakIDGlucose: on the importance of row symmetry
constraint programming	SAT Compilation for Constraints over Finite Structured Domains
CP	BreakIDGlucose: on the importance of row symmetry
CSP	Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms BreakIDGlucose: on the importance of row symmetry
F
finite domain	SAT Compilation for Constraints over Finite Structured Domains
G
Glucose	BreakIDGlucose: on the importance of row symmetry
H
Haskell	SAT Compilation for Constraints over Finite Structured Domains
S
SAT	SAT Compilation for Constraints over Finite Structured Domains BreakIDGlucose: on the importance of row symmetry
Saucy	BreakIDGlucose: on the importance of row symmetry
Shatter	BreakIDGlucose: on the importance of row symmetry
Symmetry	BreakIDGlucose: on the importance of row symmetry
T
Tractable Classes	Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms

Disclaimer | Powered by EasyChair Smart Program