<--- Back to Details
First PageDocument 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
Date: 2008-10-15 05:36:10
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

Add to Reading List

Source URL: www.lsi.upc.edu

Download Document from Source Website

File Size: 194,44 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Computational complexity theory / Mathematics / Constraint programming / Numerical software / Automated theorem proving / DPLL algorithm / Packing problems / Solver / Constraint satisfaction / Reduction / Algorithm

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1

DocID: 1qJgp - View Document

Theoretical computer science / Logic in computer science / Mathematics / Maximum satisfiability problem / Boolean satisfiability problem / DPLL algorithm

Solving Satisfiability Problems with Qualitative Preferences: a New Approach Emanuele Di Rosa, Enrico Giunchiglia, and Marco Maratea DIST - Universit`a di Genova, Italy. email:{emanuele,enrico,marco}@dist.unige.it Abstra

DocID: 1qDJG - View Document

Mathematics / Mathematical logic / Theoretical computer science / Automated theorem proving / Boolean algebra / Logic programming / Resolution / True quantified Boolean formula / Clause / Conflict-Driven Clause Learning / DPLL algorithm

Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract

DocID: 1pPHH - View Document

Theoretical computer science / Mathematics / Formal methods / Constraint programming / Boolean algebra / Automated theorem proving / DPLL algorithm / Binary decision diagram / Exponential time hypothesis / Computational complexity theory / Bayesian network / Distribution

Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck

DocID: 1pNco - View Document