Search filters

List of works by Carlos Ansótegui

A Complete Resolution Calculus for Signed Max-SAT

scientific article published in May 2007

A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms

scientific article published in 2009

Automated monitoring of medical protocols: a secure and distributed architecture.

scientific article

Edge Matching Puzzles as Hard SAT/CSP Benchmarks

From High Girth Graphs to Hard Instances

article published in Lecture Notes in Computer Science

Generating highly balanced sudoku problems as hard problems

scientific article published on 5 October 2010

Improving SAT-Based Weighted MaxSAT Solvers

scientific article published in 2012

Improving WPM2 for (Weighted) Partial MaxSAT

scientific article published in 2013

On the Structure of Industrial SAT Instances

scientific article published in 2009

On the hardness of solving edge matching puzzles as SAT or CSP problems

scientific article published on 22 September 2012

Resolution procedures for multiple-valued optimization

scientific article published in April 2013

SAT-based MaxSAT algorithms

scientific article published in March 2013

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

scientific article published in 2009

The Fractal Dimension of SAT Formulas

scientific article published in 2014

Paulina is supported by:

About Paulina

Help