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

Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li

Browse the full SGAI paper archive.