An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J. Stuckey

Department of Data Science & AI

Research output: Contribution to journal › Article › Research › peer-review

12 Citations (Scopus)

1 results

Filter

Finished

Towards reliability in combinatorial optimisation
Gange, G. (Primary Chief Investigator (PCI))
1/04/16 → 3/12/21
Project: Research