Navegación

Búsqueda

Búsqueda avanzada

El autor Joan Espasa ha publicado 1 artículo(s):

1 - An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints

Max-Simply is a high-level programming framework for modelling and solving weighted CSP. Max-Simply can also deal with meta-constraints, that is, constraints on constraints. The technology currently used to solve the generated problem instances is SMT. In this paper we present a variant of Max-Simply which is able to generate not only SMT instances but also pseudo-Boolean instances for certain modellings. Since there are problems that are more naturally encoded using pseudo-Boolean variables, the possibility of generating pseudo-Boolean instances can result in a more efficient and natural fit in some situations. We illustrate the expressiveness of the Max-Simply language by modelling some problems, and provide promising performance results on the corresponding generated pseudo-Boolean instances using state-of-the-art pseudo-Boolean solvers.

Autores: Miquel Bofill / Joan Espasa / Miquel Palahí / Mateu Villaret / 
Palabras Clave: CSP - Modelling languages - Pseudo-Boolean constraints - Weighted CSP