Two Techniques to Improve Finite Model Search.

Gilles Audemard, Belaid Benhamou, Laurent Henocque

Browse the full CADE paper archive.