Using a Theorem Prover for Reasoning on Constraint Problems

Cached

Download Links

by Marco Cadoli , Toni Mancini
Citations:9 - 4 self