VSL 2014: VIENNA SUMMER OF LOGIC 2014
SAT PROGRAM

Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th

Monday, July 14th, 2014

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

08:45-09:15 Session 37: VSL Opening
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
Welcome Address by the Rector (abstract)
08:50
Welcome Address by the Organizers (abstract)
08:55
VSL Opening (abstract)
09:15-10:15 Session 38: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
09:15
VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract)
10:15-10:45Coffee Break
10:45-12:05 Session 38E: Maximum Satisfiability
Location: FH, Hörsaal 6
10:45
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction (abstract)
11:15
Solving MaxSAT and #SAT on structured CNF formulas (abstract)
11:45
Cores in Core based MaxSat Algorithms: an Analysis (abstract)
12:10-13:00 Session 40: Minimal Unsatisfiability
Location: FH, Hörsaal 6
12:10
On Computing Preferred MUSes and MCSes (abstract)
12:40
MUS Extraction using Clausal Proofs (abstract)
13:00-14:30Lunch Break
14:30-15:50 Session 41D: Complexity and Reductions
Location: FH, Hörsaal 6
14:30
Fixed-parameter tractable reductions to SAT (abstract)
15:00
On Reducing Maximum Independent Set to Minimum Satisfiability (abstract)
15:30
Conditional Lower Bounds for Failed Literals and Related Techniques (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 42E: Tool Papers
Location: FH, Hörsaal 6
16:30
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (abstract)
16:50
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs (abstract)
17:10
Automatic Evaluation of Reductions between NP-complete Problems (abstract)
17:30
Open-WBO: a Modular MaxSAT Solver (abstract)
Tuesday, July 15th, 2014

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

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)
Monday, July 14th, 2014

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

Tuesday, July 15th, 2014

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

10:15-10:45Coffee Break
10:45-11:45 Session 47F: Proof Complexity I
Location: FH, Hörsaal 6
10:45
Long Proofs of (Seemingly) Simple Formulas (abstract)
11:15
Proof complexity and the Lovasz-Kneser Theorem (abstract)
11:50-13:00 Session 49: Parallel and Incremental (Q)SAT
Location: FH, Hörsaal 6
11:50
Ultimately Incremental SAT (abstract)
12:20
Community Branching for Parallel Portfolio SAT Solvers (abstract)
12:40
Lazy clause exchange policy for parallel SAT solvers (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 50F: Invited Talk I
Location: FH, Hörsaal 6
14:30
A (Biased) Proof Complexity Survey for SAT Practitioners (abstract)
15:30-16:00 Session 51: Proof Complexity II / 1
Location: FH, Hörsaal 6
15:30
Unified characterisations of resolution hardness measures (abstract)
16:00-16:30Coffee Break
16:30-17:00 Session 52E: Proof Complexity II / 2
Location: FH, Hörsaal 6
16:30
QBF Resolution Systems and their Proof Complexities (abstract)
19:00-20:00 Session 56A: VSL Public Lecture 1
Location: MB, Kuppelsaal
19:00
VSL Public Lecture: Gödel in Vienna (abstract)
Wednesday, July 16th, 2014

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

10:45-11:55 Session 56E: Applications
Location: FH, Hörsaal 6
10:45
A SAT Attack on the Erdos Discrepancy Conjecture (abstract)
11:05
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer (abstract)
11:35
Fast DQBF Refutation (abstract)
08:45-10:15 Session 57: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: The theory and applications of o-minimal structures (abstract)
10:15-10:45Coffee Break
12:00-13:00 Session 58: Structure
Location: FH, Hörsaal 6
12:00
Variable Dependencies and Q-Resolution (abstract)
12:30
Impact of Community Structure on SAT Solver Performance (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 59E: Invited Talk II
Location: FH, Hörsaal 6
14:30
A Model-Constructing Satisfiability Calculus (abstract)
15:30-16:00 Session 60: Simplification and Solving I / 1
Location: FH, Hörsaal 6
15:30
Efficient implementation of SLS solvers and new heuristics for k-SAT with long clauses (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 61E: Simplification and Solving I / 2
Location: FH, Hörsaal 6
16:30
Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask) (abstract)
17:00
Simplifying Pseudo-Boolean Constraints in Residual Number Systems (abstract)
17:30
Detecting cardinality constraints in CNF (abstract)
Thursday, July 17th, 2014

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

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)
Wednesday, July 16th, 2014

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

Thursday, July 17th, 2014

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

10:15-10:45Coffee Break
10:45-11:15 Session 66AF: Simplification and Solving II
Location: FH, Hörsaal 6
10:45
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (abstract)
11:15-12:45 Session 69: Analysis
Location: FH, Hörsaal 6
11:15
An Ising Model inspired Extension of the Product-based MP Framework for SAT (abstract)
11:45
Approximating highly satisfiable random 2-SAT (abstract)
12:15
Hypergraph Acyclicity and Propositional Model Counting (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
Friday, July 18th, 2014

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

09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
09:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)
Thursday, July 17th, 2014

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

Saturday, July 19th, 2014

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

08:45-10:15 Session 106A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract)
Sunday, July 20th, 2014

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

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)