Jazyk:	angličtina
Rok vydání:	2016
Předmět:	ta113 ta213 IC3 equivalence checking satisfiability solvers property directed reachability model checking interpolation binary decisions diagrams
Zdroj:	JOURNAL OF SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. 9:135-172
ISSN:	1875-5011
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=CSC_________::2898d83dc58d30bf3024abc0ace7ea3a http://juuli.fi/Record/0274757616 Zobrazit plný text záznamu