ADF-BDD: An ADF Solver Based on Binary Decision Diagrams1

Autor:	Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac, Johannes P. Wallner
Rok vydání:	2022
DOI:	10.3233/faia220170
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f000ef6285dd99a4ffc6d9bd0a3e851c https://doi.org/10.3233/faia220170 Zobrazit plný text záznamu