Back to Results
First PageMeta Content
Automated theorem proving / Boolean algebra / Constraint programming / Logic in computer science / Propositional calculus / DPLL algorithm / Boolean satisfiability problem / Satisfiability Modulo Theories / Unit propagation / Theoretical computer science / Mathematical logic / Mathematics


Document Date: 2008-10-15 05:36:10

Open Document

File Size: 194,44 KB

Share Result on Facebook

Company

ABC / /

Facility

Technical University of Catalonia / The University of Iowa / /

IndustryTerm

search region presenting / constraint propagation algorithms / transitions systems / explored search space / search progresses / search state / rule applications / transition systems / successive applications / /

Organization

The University of Iowa / Technical University of Catalonia / Barcelona / National Science Foundation / /

Person

Robert Nieuwenhuis / Albert Oliveras / Cesare Tinelli / /

Position

Mp / designer / /

Product

Basic DPLL system / Basic DPLL / /

Technology

constraint propagation algorithms / DPLL algorithms / /

URL

www.lsi.upc.es/~roberto|~oliveras / www.cs.uiowa.edu/~tinelli / /

SocialTag