Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams. Theory and Practice of SAT Solving (Dagstuhl Seminar 15171). Dagstuhl Reports, 5(4):98-122, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.