<--- 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

LTE / Technology / Mobile technology / Wireless / Software-defined radio / Mobile telecommunications / ENodeB / System Architecture Evolution / Telecommunications / E-UTRA / User equipment / Mobility management

Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson

DocID: 1xUdh - View Document

PDF Document

DocID: 1xSrV - View Document

Answer Sets: From Constraint Programming Towards Qualitative Optimization Gerhard Brewka

DocID: 1vleR - View Document

Constraint Programming Mark Wallace Contact address: Mark Wallace, IC-Parc, William Penney Laboratory, Imperial College, LONDON SW7 2AZ. email: September 1995

DocID: 1v7SC - View Document

Solving Segment Routing Problems with Hybrid Constraint Programming Techniques Renaud Hartert, Pierre Schaus, Stefano Vissicchio, and Olivier Bonaventure UCLouvain, ICTEAM, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Be

DocID: 1v72L - View Document