Model-Theoretic Methods in Combined Constraint Satisfiability (2004)

Cached

Download Links

by Silvio Ghilardi
Venue:Journal of Automated Reasoning
Citations:40 - 10 self