Theory and Applications of Satisfiability Testing – SAT 2016

Autor:	Jo Devriendt, Maurice Bruynooghe, Marc Denecker, Bart Bogaerts
Rok vydání:	2016
Předmět:	Discrete mathematics Computer science Pigeonhole principle 0202 electrical engineering electronic engineering information engineering 020207 software engineering 020201 artificial intelligence & image processing 02 engineering and technology Symmetry (geometry) Satisfiability
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319409696 Theory and Applications of Satisfiability Testing – SAT 2016
DOI:	10.1007/978-3-319-40970-2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::674eaf4772558fccb0eecc4cd033f4dd https://doi.org/10.1007/978-3-319-40970-2 Zobrazit plný text záznamu