Debugging unsatisfiable constraint models

Kevin Leo, Guido Tack

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

15 Citations (Scopus)

1 results

Finished

Effective profiling of large scale combinatorial optimisation problems
Garcia De La Banda Garcia, M., Dwyer, T., Tack, G. & Wallace, M.
Australian Research Council (ARC)
27/11/14 → 30/01/18
Project: Research