Towards a theory of good SAT representations

Publications

Presentations

Benchmarks

Data

Contacts