Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A

First Page		Document Content
Date: 2006-06-05 00:33:08 Mathematical logic Constraint programming Boolean algebra Resolution Conjunctive normal form Unit propagation Davis–Putnam algorithm Ansgar Boolean satisfiability problem Automated theorem proving Theoretical computer science Mathematics		Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A Add to Reading List Source URL: www.cse.unsw.edu.au Download Document from Source Website File Size: 213,78 KB Share Document on Facebook

	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