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

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