<--- Back to Details
First PageDocument Content
Mathematics / Algebra / Abstract algebra / Boolean algebra / Algebraic structures / Constraint programming / Electronic design automation / Formal methods / Boolean satisfiability problem / DPLL algorithm / Conjunctive normal form / Propositional calculus
Date: 2012-08-02 20:25:03
Mathematics
Algebra
Abstract algebra
Boolean algebra
Algebraic structures
Constraint programming
Electronic design automation
Formal methods
Boolean satisfiability problem
DPLL algorithm
Conjunctive normal form
Propositional calculus

Add to Reading List

Source URL: www.kestrel.edu

Download Document from Source Website

File Size: 469,00 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