Abacus: A New Hybrid Encoding for SAT Problems.

Claudia Vasconcellos-Gaete, Vincent Barichard, Frdric Lardeux

Browse the full ICTAI paper archive.