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
Chair:
| 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
Chair:
| 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
Chair:
| 14:00 | Applications of MaxSAT in Data Analysis ( abstract ) |
| 14:30 | Checking Unsatisfiability Proofs in Parallel ( abstract ) |
15:00-15:30Coffee Break