From SAT to ASP and back!? Torsten Schaub University of Potsdam - Akita International University - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-07-11 01:48:08 Programming paradigms Logic programming Software engineering Artificial intelligence Constraint programming Theoretical computer science Answer set programming Automated reasoning Constraint satisfaction problem Problem solving Solver Knowledge representation and reasoning		From SAT to ASP and back!? Torsten Schaub University of Potsdam & INRIA Rennes Torsten Schaub (KRR@UP) Add to Reading List Source URL: sat2016.labri.fr Download Document from Source Website File Size: 1,33 MB 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