Without loss of satisfaction

From MaRDI portal

Publication:6605336

Jump to:navigation, search

DOI10.1007/978-3-031-47963-2_2MaRDI QIDQ6605336

Marijn J. H. Heule

Publication date: 13 September 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Without loss of satisfaction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6605336&oldid=40153150"