Local Consistency in Weighted CSPs and Inference in Max-SAT. - Federico Heras; Javier Larrosa (CP, 2005)

Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. - Simon de Givry; Federico Heras; Matthias Zytnicki; Javier Larrosa (IJCAI, 2005)

Resolution in Max-SAT and its relation to local consistency in weighted CSPs. - Javier Larrosa; Federico Heras (IJCAI, 2005)

New Inference Rules for Efficient Max-SAT Solving. - Federico Heras; Javier Larrosa (AAAI, 2006)

Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. - Federico Heras; Javier Larrosa (J. Heuristics, 2006)

MiniMaxSat: A New Weighted Max-SAT Solver. - Federico Heras; Javier Larrosa; Albert Oliveras (SAT, 2007)

On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. - Federico Heras; Vasco Manquinho; João Marques-Silva 001 (FLAIRS, 2008)

A Max-SAT Inference-Based Pre-processing for Max-Clique. - Federico Heras; Javier Larrosa (SAT, 2008)

A logical approach to efficient Max-SAT solving. - Javier Larrosa; Federico Heras; Simon de Givry (Artif. Intell., 2008)

MiniMaxSAT: An Efficient Weighted Max-SAT solver. - Federico Heras; Javier Larrosa; Albert Oliveras (J. Artif. Intell. Res., 2008)

2006 and 2007 Max-SAT Evaluations: Contributed Instances. - Federico Heras; Javier Larrosa; Simon de Givry; Thomas Schiex (J. Satisf. Boolean Model. Comput., 2008)

New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat. - Federico Heras (ICAART (1), 2010)

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. - Federico Heras; David Bañeres (J. Satisf. Boolean Model. Comput., 2010)

Core-Guided Binary Search Algorithms for Maximum Satisfiability. - Federico Heras; António Morgado 001; João Marques-Silva 001 (AAAI, 2011)

Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. - Federico Heras; João Marques-Silva 001 (IJCAI, 2011)

An Empirical Study of Encodings for Group MaxSAT. - Federico Heras; António Morgado 001; João Marques-Silva 001 (Canadian AI, 2012)

Iterative SAT Solving for Minimum Satisfiability. - Federico Heras; António Morgado 001; Jordi Planes; João Marques-Silva 001 (ICTAI, 2012)

Lower Bounds and Upper Bounds for MaxSAT. - Federico Heras; António Morgado 001; João Marques-Silva 001 (LION, 2012)

Improvements to Core-Guided Binary Search for MaxSAT. - António Morgado 001; Federico Heras; João Marques-Silva 001 (SAT, 2012)

Model-Guided Approaches for MaxSAT Solving. - António Morgado 001; Federico Heras; João Marques-Silva 001 (ICTAI, 2013)

On Computing Minimal Correction Subsets. - João Marques-Silva 001; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov (IJCAI, 2013)

Iterative and core-guided MaxSAT solving: A survey and assessment. - António Morgado 001; Federico Heras; Mark H. Liffiton; Jordi Planes; João Marques-Silva 001 (Constraints An Int. J., 2013)

Incomplete inference for graph problems. - Federico Heras; David Bañeres (Optim. Lett., 2013)

MaxSAT-based encodings for Group MaxSAT. - Federico Heras; António Morgado 001; João Marques-Silva 001 (AI Commun., 2015)

A Comparison of Enterprise Architecture Tools. - Federico Heras (ICSBT, 2023)

Evolution and Comparative Analysis of Enterprise Architecture Tools. - Federico Heras (ICSBT (Revised Selected Papers), 2023)

Impact of Extended Clauses on Local Search Solvers for Max-SAT. - Federico Heras (ICAART (3), 2025)