Some interesting research directions in satisfiability

DOI10.1023/A:1018983601518zbMath1001.68052OpenAlexW1522182004MaRDI QIDQ1601833

John V. Franco

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Uses Software

• Leibniz

This page was built for publication: Some interesting research directions in satisfiability