Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5325876
DOI10.1007/b95238zbMath1204.68209OpenAlexW2494235144WikidataQ56039662 ScholiaQ56039662MaRDI QIDQ5325876
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
Hypergraphs (05C65) Graph theory (including graph drawing) in computer science (68R10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (2)
Optimization and probabilistic satisfiability on nested and co-nested formulas ⋮ On the complexity of strongly connected components in directed hypergraphs
This page was built for publication: Theory and Applications of Satisfiability Testing
