SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
POS15 PROGRAM
Wednesday, September 23rd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 15B: SAT solver analysis
09:00
Evaluating CDCL Restart Schemes ( abstract )
09:30
Predicting SAT Solver Performance on Heterogeneous Hardware ( abstract )
10:00-10:30Coffee Break
10:30-12:00 Session 17B: Work in progress presentations
10:30
Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers ( abstract )
11:00
Proposal and Application of Search Similarity Index for SAT solver ( abstract )
11:30
Model Counting with Arbitrary Alphabets ( abstract )
12:00-14:00Lunch Break
14:00-15:00 Session 18B: Unsat proofs and MaxSAT
14:00
Applications of MaxSAT in Data Analysis ( abstract )
14:30
Checking Unsatisfiability Proofs in Parallel ( abstract )
15:00-15:30Coffee Break