The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A. (Principal Investigator), Aspinall, D. (Co-Investigator (External)), Colton, S. (Co-Investigator (External)), Fleuriot, J. (Co-Investigator (External)), Gow, J. (Co-Investigator (External)), Grov, G. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)), Jackson, P. (Co-Investigator (External)), Mcneill, F. (Co-Investigator (External)), Michaelson, G. (Co-Investigator (External)) & Smaill, A. (Co-Investigator (External))
EPSRC
1/11/15 → 31/10/19
Project: Research