Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Hochschulschrift

Satisfiability Checking with Difference Constraints

MPG-Autoren
/persons/resource/persons44265

Cotton,  Scott
International Max Planck Research School, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine externen Ressourcen hinterlegt
Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte in PuRe verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Cotton, S. (2005). Satisfiability Checking with Difference Constraints. Master Thesis, Universität des Saarlandes, Saarbrücken.


Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0027-D5C9-C
Zusammenfassung
This thesis studies the problem of determining the satisfiability of a Boolean
combination of binary difference constraints of the form
x-y <= c where x and y are numeric variables and c is a constant. In
particular, we present an incremental and model-based interpreter for the
theory of difference constraints in the context of a generic Boolean
satisfiability checking procedure capable of incorporating interpreters for
arbitrary theories. We show how to use the model based approach to efficiently
make inferences with the option of complete inference.