Guiding a Theorem Prover with Soft Constraints.

John K. Slaney, Arnold Binas, David Price

Browse the full ECAI paper archive.