Instances used in our publications
We supply all instances of the SAT problem that we used in our experimental analysis.The whole.tar.gz collection of all instances can be retrieved. The format is described in the tutorial.
Our results on the above instances
They are given in the published paper.
© 2005-2009
Roberto Battiti
and Mauro Brunato, All Rights Reserved.
Pages hosted by "machine Learning and Intelligent Optimization (LION)" Group - DISI - Università di Trento - Italy.
Last updated: 2012-02-04 11:11:00
Pages hosted by "machine Learning and Intelligent Optimization (LION)" Group - DISI - Università di Trento - Italy.
Last updated: 2012-02-04 11:11:00
![[Reactive Search Logo]](images/logo.jpg){kind=logo}
