"An Experimental Survey of Extended Resolution Effects for SAT Solvers on ..."

Tomohiro Sonobe (2022)

Details and statistics

DOI: 10.3390/A15120479

access: open

type: Journal Article

metadata version: 2023-01-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics