Some interesting research directions in satisfiability
From MaRDI portal
Publication:1601833
DOI10.1023/A:1018983601518zbMath1001.68052OpenAlexW1522182004MaRDI QIDQ1601833
Publication date: 27 June 2002
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1018983601518
Uses Software
This page was built for publication: Some interesting research directions in satisfiability