Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Marienus Heule"'
Autor:
Marienus Heule, Sean A. Weaver
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319243177
Theory and Applications of Satisfiability Testing--SAT 2015
Theory and Applications of Satisfiability Testing--SAT 2015
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d136bae4ab3477a2fb4bcf277028962e
https://doi.org/10.1007/978-3-319-24318-4
https://doi.org/10.1007/978-3-319-24318-4
