System Description: CRIL Platform for SAT.

Bertrand Mazure, Lakhdar Sais, ric Grgoire

Browse the full CADE paper archive.