Work

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Year: 2008

Type: article

Abstract: In this technical report we briefly describe the instances submitted to the 2006 and 2007 Max-SAT Evaluations. First, we introduce the instances that can be directly encoded as Max-SAT. Then, we describe the methods used to translate problem instance

Source: Journal on Satisfiability Boolean Modeling and Computation

DOI: 10.3233/sat190046

Authors: Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex

Institutions: Universitat Politècnica de Catalunya, Institut National de Recherche pour l'Agriculture, l'Alimentation et l'Environnement

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W111060146

FWCI: 3.833

Cites: 21

Cited by: 24

Related to: 10