Active Learning for SAT Solver Benchmarking.

Tobias Fuchs, Jakob Bach, Ashlin Iser

Browse the full TACAS paper archive.