Combining Incomplete Search and Clause Generation: An Application to the Orienteering Problems with Time Windows.

Trong-Hieu Tran, Cdric Pralet, Hlne Fargier

Browse the full CPAIOR paper archive.