Translating propositional extended conjunctions of Horn clauses into Boolean circuits
ISSN: 0304-3975
Year of publication: 2010
Volume: 411
Issue: 16-18
Pages: 1723-1733
Type: Article
ISSN: 0304-3975
Year of publication: 2010
Volume: 411
Issue: 16-18
Pages: 1723-1733
Type: Article