Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares
From MaRDI portal
Publication:5756554
DOI10.1007/11814948_34zbMath1187.68266OpenAlexW1493084124MaRDI QIDQ5756554
Publication date: 4 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814948_34
Related Items (1)
Uses Software
This page was built for publication: Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares
