Federico Heras

发表

Existential arc consistency: Getting closer to full arc consistency in weighted CSPs

Simon de Givry, Javier Larrosa, Matthias Zytnicki, 2005, IJCAI.

Local Consistency in Weighted CSPs and Inference in Max-SAT

Javier Larrosa, Federico Heras, 2005, CP.

Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms

Joao Marques-Silva, Federico Heras, F. Heras, 2011, IJCAI.

Improvements to Core-Guided Binary Search for MaxSAT

Joao Marques-Silva, Federico Heras, António Morgado, 2012, SAT.

Iterative SAT Solving for Minimum Satisfiability

Joao Marques-Silva, Jordi Planes, Federico Heras, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

ToolBar: a state-of-the-art platform for WCSP

Thomas Schiex, Javier Larrosa, Federico Heras, 2003 .

New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat

Federico Heras, 2010, ICAART.

An Empirical Study of Encodings for Group MaxSAT

Joao Marques-Silva, Federico Heras, António Morgado, 2012, Canadian Conference on AI.

Resolution in Max-SAT and its relation to local consistency in weighted CSPs

Javier Larrosa, Federico Heras, 2005, IJCAI.

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence On Computing Minimal Correction Subsets

Mikolás Janota, Joao Marques-Silva, Federico Heras, 2022 .

A Max-SAT Inference-Based Pre-processing for Max-Clique

Javier Larrosa, Federico Heras, F. Heras, 2008, SAT.

On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization

Vasco M. Manquinho, Joao Marques-Silva, Federico Heras, 2008, FLAIRS Conference.

New Inference Rules for Efficient Max-SAT Solving

Javier Larrosa, Federico Heras, F. Heras, 2006, AAAI.

Incomplete inference for graph problems

David Bañeres, Federico Heras, 2013, Optim. Lett..

A logical approach to efficient Max-SAT solving pdf

Simon de Givry, Javier Larrosa, Federico Heras, 2006, Artif. Intell..

Model-Guided Approaches for MaxSAT Solving

Joao Marques-Silva, Federico Heras, António Morgado, 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.

Lower Bounds and Upper Bounds for MaxSAT

Joao Marques-Silva, Federico Heras, António Morgado, 2012, LION.

Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP

Javier Larrosa, Federico Heras, 2006, J. Heuristics.

Iterative and core-guided MaxSAT solving: A survey and assessment

Joao Marques-Silva, Federico Heras, Mark H. Liffiton, 2013, Constraints.

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers

David Bañeres, Federico Heras, 2010, J. Satisf. Boolean Model. Comput..

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Simon de Givry, Thomas Schiex, Javier Larrosa, 2008, J. Satisf. Boolean Model. Comput..

MaxSAT-based encodings for Group MaxSAT

Joao Marques-Silva, Federico Heras, António Morgado, 2015, AI Commun..

MiniMaxSAT: An Efficient Weighted Max-SAT solver

Albert Oliveras, Javier Larrosa, Federico Heras, 2008, J. Artif. Intell. Res..

MiniMaxSat: A New Weighted Max-SAT Solver

Albert Oliveras, Javier Larrosa, Federico Heras, 2007, SAT.

Core-Guided Binary Search Algorithms for Maximum Satisfiability

Joao Marques-Silva, Federico Heras, António Morgado, 2011, AAAI.

Max-CSP competition 2008: toulbar2 solver description

Thomas Schiex, Javier Larrosa, Matthias Zytnicki, 2008 .