================================================================================
Close Solutions benchmarks.
================================================================================

This set of benchmarks consists of 100 instances of 
close solutions benchmarks.

The complete set of 486 instances can be found at:
http://sat.inesc-id.pt/~ruben/benchmarks

================================================================================

Authors: Ignasi Abío and Peter J. Stuckey
References: 
[1] Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey: 
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.
SAT 2011: 273-286

[2] Ignasi Abío, Peter J. Stuckey: Conflict Directed Lazy Decomposition. 
CP 2012: 70-85

================================================================================