Theory and Applications of Satisfiability Testing -- SAT 2015

Autor:	Marienus Heule, Sean A. Weaver
Rok vydání:	2015
Předmět:	Computer science Library science Satisfiability
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319243177 Theory and Applications of Satisfiability Testing--SAT 2015
DOI:	10.1007/978-3-319-24318-4
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d136bae4ab3477a2fb4bcf277028962e https://doi.org/10.1007/978-3-319-24318-4 Zobrazit plný text záznamu