Model-Theoretic Methods in Combined Constraint Satisfiability

@article{Ghilardi2004ModelTheoreticMI,
  title={Model-Theoretic Methods in Combined Constraint Satisfiability},
  author={Silvio Ghilardi},
  journal={Journal of Automated Reasoning},
  year={2004},
  volume={33},
  pages={221-249}
}
We extend the Nelson–Oppen combination procedure to the case of theories that 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. 
Highly Cited
This paper has 90 citations. REVIEW CITATIONS

Topic

Statistics

01020'05'07'09'11'13'15'17
Citations per Year

90 Citations

Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.