Deduction by Combining Semantic Tableaux and Integer Programming.

Bernhard Beckert, Reiner Hhnle

Browse the full CSL paper archive.