Sciweavers

2006 and 2007 Max-SAT Evaluations: Contributed Instances
Recent Google, Yahoo, MSN search queries leading to this post
2006 and 2007 Max-SAT Evaluations: Contributed Instances
Data is not available yet.