|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
POS POS'22 FLOC PAPERS
| Authors | Title | Paper | Talk |
|---|
| Daniel Waszkiewicz and Konstanty Junosza-Szaniawski | Towards an Efficient CNF Encoding of Block Ciphers |  | Aug 01 09:00 | | Thomas Bartel, Tomas Balyo and Markus Iser | Dinosat: A SAT Solver with Native DNF Support | | Aug 01 11:00 | | Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue | DPS: A Framework for Deterministic Parallel SAT Solvers | | Aug 01 11:30 | | Mathias Fleury and Armin Biere | Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses | | Aug 01 12:00 | | Randal Bryant and Mate Soos | Combining CDCL, Gauss-Jordan Elimination, and Proof Generation | | Aug 01 14:30 | | Isaac Grosof, Naifeng Zhang and Marijn Heule | Towards the shortest DRAT proof of the Pigeonhole Principle | | Aug 01 15:00 | | Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser | SATViz: Real-Time Visualization of Clausal Proofs | | Aug 01 16:00 |
|
|