Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search.

Rong Yang, Steve Gregory

Browse the full LPAR paper archive.