<--- Back to Details
First PageDocument Content
Mathematics / Local consistency / Constraint satisfaction / Mathematical optimization / Boolean satisfiability problem / Belief propagation / Bayesian network / Graphical model / Constraint optimization / Constraint programming / Theoretical computer science / Software engineering
Date: 2008-09-08 14:27:26
Mathematics
Local consistency
Constraint satisfaction
Mathematical optimization
Boolean satisfiability problem
Belief propagation
Bayesian network
Graphical model
Constraint optimization
Constraint programming
Theoretical computer science
Software engineering

Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode]

Add to Reading List

Source URL: www.ics.uci.edu

Download Document from Source Website

File Size: 1,64 MB

Share Document on Facebook

Similar Documents

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

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

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

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

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