Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences
- Emanuele Di Rosa
- , Enrico Giunchiglia
- , Barry O'Sullivan
Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review