Theory and Applications of Satisfiability Testing

DOI10.1007/b95238zbMath1204.68212OpenAlexW2494235144WikidataQ56039662 ScholiaQ56039662MaRDI QIDQ5325871

R. Ryan Williams

Publication date: 24 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95238

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)

Related Items (1)

Bounded list injective homomorphism for comparative analysis of protein-protein interaction graphs

This page was built for publication: Theory and Applications of Satisfiability Testing