2006 and 2007 Max-SAT Evaluations: Contributed Instances

13 years 4 months ago

Download www.lsi.upc.edu

In this technical report we briefly describe the instances submitted to the 2006 and 2007 MaxSAT Evaluations. First, we introduce the instances that can be directly encoded as Max-SAT. Then, we describe the methods used to translate problem instances coming from other optimization frameworks to Max-SAT. Finally, we present a quick reference table containing short descriptions of each set of problem instances.

Federico Heras, Javier Larrosa, Simon de Givry, Th

Real-time Traffic

JSAT 2008 | MaxSAT Evaluations | Problem Instances | Technical Report |

claim paper

» New Inference Rules for MaxSAT

» Tracking identities and attention in smart environments contributions and progress in the...

» InstanceBased Matching of Large Life Science Ontologies

» Scanning sequences after Gibbs sampling to find multiple occurrences of functional element...

» A management system for decompositions in stochastic programming

» Large Scale Knowledge Base Systems An Empirical Evaluation Perspective

» Evaluation and comparison of search engines using the LSP method

» Applying evolutionary computation methods for the cryptanalysis of Feistel ciphers

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	JSAT
Authors	Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex

Comments (0)

Sciweavers

2006 and 2007 Max-SAT Evaluations: Contributed Instances

JSAT 2008 | MaxSAT Evaluations | Problem Instances | Technical Report |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers