scientific article
From MaRDI portal
Publication:2741534
zbMath0990.90558MaRDI QIDQ2741534
Sheila A. McIlraith, Eyal Amir
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Approximation algorithms for treewidth ⋮ Partition-based logical reasoning for first-order and propositional theories
This page was built for publication: