Dinosat: A SAT Solver with Native DNF Support
Authors: Thomas Bartel, Tomas Balyo and Markus Iser
Paper Information
| Title: | Dinosat: A SAT Solver with Native DNF Support |
| Authors: | Thomas Bartel, Tomas Balyo and Markus Iser |
| Proceedings: | POS PoS'22 FLoC papers |
| Editors: | Daniel Le Berre and Matti Järvisalo |
| Keywords: | Sat Solver, DNF, Product Configuration |
| Pages: | 16 |
| Talk: | Aug 01 11:00 (Session 31K: SAT and Parallel Solving) |
| Paper: |  |