Model-Theoretic Methods in Combined Constraint Satisfiability (2004)
by
Silvio Ghilardi
| Venue: | Journal of Automated Reasoning |
| Citations: | 32 - 10 self |
BibTeX
@ARTICLE{Ghilardi04model-theoreticmethods,
author = {Silvio Ghilardi},
title = {Model-Theoretic Methods in Combined Constraint Satisfiability},
journal = {Journal of Automated Reasoning},
year = {2004},
volume = {33},
pages = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We extend Nelson-Oppen combination procedure to the case of theories which are compatible with respect to a common subtheory in the shared signature. The notion of compatibility relies on model completions and related concepts from classical model theory.
