SAT 2016: 19TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING

B
Bofill, Miquel	A Study on Implied Constraints in a MaxSAT Approach to B2B Problems
C
Czarnecki, Krzysztof	Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
E
Elffers, Jan	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
G
Ganesh, Vijay	Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Garcia, Marc	A Study on Implied Constraints in a MaxSAT Approach to B2B Problems
Gebotys, Catherine	Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Giráldez-Cru, Jesús	A Study on Implied Constraints in a MaxSAT Approach to B2B Problems
I
Inaba, Mary	Approximate History Map for Massively Parallel Environments
L
Liang, Jia	Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
M
Manthey, Norbert	Better Evaluations by Analyzing Benchmark Structure
Moehle, Sibylle	Better Evaluations by Analyzing Benchmark Structure
Moon, Seongsoo	Approximate History Map for Massively Parallel Environments
N
Nejati, Saeed	Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Nordstrom, Jakob	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
S
Sakallah, Karem A.	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Simon, Laurent	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Soos, Mate	Lessons learnt -- Seven years of CryptoMiniSat
V
Van Gelder, Allen	The Clashing-Neighbor Relation for Propositional Formulas
Villaret, Mateu	A Study on Implied Constraints in a MaxSAT Approach to B2B Problems

Disclaimer | Powered by EasyChair Smart Program