KIT | KIT-Bibliothek | Impressum | Datenschutz

Model generation theorem proving with interval constraints

Haehnle, Reiner; Hasegawa, Ryuzo; Shirai, Yasuyuki

Abstract:


We investigate how the deduction paradigm of model generation
theorem proving can be enhanced with interval-and extraval-based
constraints leading to more efficient model generation in for some
finite domain problems.


Volltext §
DOI: 10.5445/IR/14895
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA148956
KITopen-ID: 14895
Erscheinungsvermerk Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,45.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page