Back to Results
First PageMeta Content
Computer programming / Programming paradigms / ECLiPSe / Constraint logic programming / CLP / Prolog / Local consistency / Constraint satisfaction problem / Logic programming / Constraint programming / Software engineering / Declarative programming


Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by
Add to Reading List

Document Date: 2014-05-30 11:35:42

Open Document

File Size: 731,36 KB

Share Result on Facebook

Currency

CLP / /

Facility

Vienna University / /

IndustryTerm

lost solutions / valid solutions / constraint systems / connected components algorithm / /

OperatingSystem

GNU / /

Organization

Source / Ministry of Finance / Vienna University of Technology / Faculty of Informatics / /

Person

Markus Triska / Mats Carlsson / Nysret Musliu / Tom Schrijvers / Ludwig Moser / Ulrich Neumerkel / Daniel Defoe / Jan Wielemaker / Nysret Musliu Vienna / /

Position

author / Advisor / social golfer / model for rotating workforce / /

ProgrammingLanguage

PostScript / Prolog / L / /

Technology

Crusoe / strongly connected components algorithm / /

SocialTag