FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
POS PROGRAM
Saturday, July 7th

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

09:00-10:30 Session 23L: Tuning solvers and applications
Location: Maths L5
09:00
Tuning Parallel SAT Solvers (abstract)
09:30
CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances (abstract)
10:00
Stedman and Erin Triples encoded as a SAT Problem (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 26M: Pseudo-Boolean and Proofs
Location: Maths L5
11:00
Two flavors of DRAT (abstract)
11:30
Competitive Sorter-based Encoding of PB-Constraints into SAT (abstract)
12:00
Divide and Conquer: Towards Faster Pseudo-Boolean Solving (abstract)
12:30-14:00Lunch Break
14:30-15:30 Session 29B: MAXSAT & local search
Location: Maths L5
14:30
Local-Style Search in the Linear MaxSAT Algorithm: A Computational Study of Solution-Based Phase Saving (abstract)
15:00
MLIC: A MaxSAT-Based framework for learning interpretable classification rules (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 31N: SAT pragmatics
Location: Maths L5
16:00
A Problem Meta-Data Library for Research in SAT (abstract)
16:30
The Effect of Scrambling CNFs (abstract)
17:00
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks (abstract)
17:30
On the use of solvers with docker technology (abstract)
17:45
Questions and Answers (abstract)
19:45-22:00 Workshops dinner at Balliol College

Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).

Location: Balliol College