SatEx: A web-based framework for SAT experimentation (2001)

by L Simon, P Chatalic
Venue:Electronic Notes in Discrete Mathematics 9