FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jakob Nordstrom
Organization: KTH Royal Institute of Technology
Web page: http://www.csc.kth.se/~jakobn/
Pages in this Program
All Proceedings Papers
Paper: In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving
Paper: Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers
POS on Saturday, July 7th
POS Program
Program
Program for Monday, July 9th
Program for Saturday, July 7th
Program for Wednesday, July 11th
SAT on Monday, July 9th
SAT on Wednesday, July 11th
SAT Proceedings
SAT Proceedings: Papers with Abstracts
SAT Program