scientific article
From MaRDI portal
Publication:2741535
zbMath0990.90552MaRDI QIDQ2741535
Eyal Amir, Sheila A. McIlraith
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Symbolic techniques in satisfiability solving ⋮ Complexity and Algorithms for Well-Structured k-SAT Instances ⋮ Satisfiability, branch-width and Tseitin tautologies
This page was built for publication:
