Federico Heras

According to our database, Federico Heras authored at least 25 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Comparison of Enterprise Architecture Tools.

Federico Heras

Proceedings of the 20th International Conference on Smart Business Technologies, 2023

2015

MaxSAT-based encodings for Group MaxSAT.

Federico Heras, António Morgado, João Marques-Silva

AI Commun., 2015

2013

Incomplete inference for graph problems.

Federico Heras, David Bañeres

Optim. Lett., 2013

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

António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva

Constraints An Int. J., 2013

On Computing Minimal Correction Subsets.

João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov

Proceedings of the IJCAI 2013, 2013

Model-Guided Approaches for MaxSAT Solving.

António Morgado, Federico Heras, João Marques-Silva

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Improvements to Core-Guided Binary Search for MaxSAT.

António Morgado, Federico Heras, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Lower Bounds and Upper Bounds for MaxSAT.

Federico Heras, António Morgado, João Marques-Silva

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Iterative SAT Solving for Minimum Satisfiability.

Federico Heras, António Morgado, Jordi Planes, João Marques-Silva

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

An Empirical Study of Encodings for Group MaxSAT.

Federico Heras, António Morgado, João Marques-Silva

Proceedings of the Advances in Artificial Intelligence, 2012

2011

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

Federico Heras, João Marques-Silva

Proceedings of the IJCAI 2011, 2011

Core-Guided Binary Search Algorithms for Maximum Satisfiability.

Federico Heras, António Morgado, João Marques-Silva

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

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

Federico Heras, David Bañeres

J. Satisf. Boolean Model. Comput., 2010

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

Federico Heras

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

2008

2006 and 2007 Max-SAT Evaluations: Contributed Instances.

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

J. Satisf. Boolean Model. Comput., 2008

MiniMaxSAT: An Efficient Weighted Max-SAT solver.

Federico Heras, Javier Larrosa, Albert Oliveras

J. Artif. Intell. Res., 2008

A logical approach to efficient Max-SAT solving.

Javier Larrosa, Federico Heras, Simon de Givry

Artif. Intell., 2008

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

Federico Heras, Javier Larrosa

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

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

Federico Heras, Vasco M. Manquinho, João Marques-Silva

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007

MiniMaxSat: A New Weighted Max-SAT Solver.

Federico Heras, Javier Larrosa, Albert Oliveras

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

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

Federico Heras, Javier Larrosa

J. Heuristics, 2006

New Inference Rules for Efficient Max-SAT Solving.

Federico Heras, Javier Larrosa

Proceedings of the Proceedings, 2006

2005

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

Javier Larrosa, Federico Heras

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

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

Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Local Consistency in Weighted CSPs and Inference in Max-SAT.

Federico Heras, Javier Larrosa

Proceedings of the Principles and Practice of Constraint Programming, 2005