Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 - Well-formed formula - Document - PDFSEARCH.IO

First Page	Meta Content
	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Document Date: 2000-04-06 05:36:51 Open Document File Size: 307,17 KB Share Result on Facebook Country Netherlands / / / Facility Eindhoven University of Technology P.O. Box / Utrecht University / / IndustryTerm proper proof search strategy / non optimal proof search strategies / proof search techniques / construction algorithms / computing / / Organization Department of Computer Science / Utrecht University / Department of Mathematics and Computing Science / Eindhoven University of Technology / / Person Alasdair Urquhart / Oliver Kullmann / Jan Friso / / Technology BDD construction algorithms / CRM / / SocialTag Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic

Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2Add to Reading List