Federico Heras

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 2

Top Topics

Combinatorial Optimization

Enterprise Architecture

Top Venues

Constraints An Int. J.

Publications

Federico Heras
A Comparison of Enterprise Architecture Tools. ICSBT (2023)
Federico Heras, António Morgado, João Marques-Silva
MaxSAT-based encodings for Group MaxSAT. AI Commun. 28 (2) (2015)
João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov
On Computing Minimal Correction Subsets. IJCAI (2013)
António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva
Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints An Int. J. 18 (4) (2013)
António Morgado, Federico Heras, João Marques-Silva
Model-Guided Approaches for MaxSAT Solving. ICTAI (2013)
Federico Heras, David Bañeres
Incomplete inference for graph problems. Optim. Lett. 7 (4) (2013)
Federico Heras, António Morgado, João Marques-Silva
An Empirical Study of Encodings for Group MaxSAT. Canadian Conference on AI (2012)
António Morgado, Federico Heras, João Marques-Silva
Improvements to Core-Guided Binary Search for MaxSAT. SAT (2012)
Federico Heras, António Morgado, Jordi Planes, João P. Marques Silva
Iterative SAT Solving for Minimum Satisfiability. ICTAI (2012)
Federico Heras, António Morgado, João Marques-Silva
Lower Bounds and Upper Bounds for MaxSAT. LION (2012)
Federico Heras, João Marques-Silva
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. IJCAI (2011)
Federico Heras, António Morgado, João Marques-Silva
Core-Guided Binary Search Algorithms for Maximum Satisfiability. AAAI (2011)
Federico Heras
New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat. ICAART (1) (2010)
Federico Heras, David Bañeres
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)
Javier Larrosa, Federico Heras, Simon de Givry
A logical approach to efficient Max-SAT solving. Artif. Intell. 172 (2-3) (2008)
Federico Heras, Javier Larrosa, Albert Oliveras
MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. 31 (2008)
Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex
2006 and 2007 Max-SAT Evaluations: Contributed Instances. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Federico Heras, Vasco M. Manquinho, João Marques-Silva
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. FLAIRS Conference (2008)
Federico Heras, Javier Larrosa
A Max-SAT Inference-Based Pre-processing for Max-Clique. SAT (2008)
Federico Heras, Javier Larrosa, Albert Oliveras
MiniMaxSat: A New Weighted Max-SAT Solver. SAT (2007)
Federico Heras, Javier Larrosa
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. J. Heuristics 12 (4-5) (2006)
Federico Heras, Javier Larrosa
New Inference Rules for Efficient Max-SAT Solving. AAAI (2006)
Javier Larrosa, Federico Heras, Simon de Givry
A Logical Approach to Efficient Max-SAT solving CoRR (2006)
Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. IJCAI (2005)
Federico Heras, Javier Larrosa
Local Consistency in Weighted CSPs and Inference in Max-SAT. CP (2005)
Javier Larrosa, Federico Heras
Resolution in Max-SAT and its relation to local consistency in weighted CSPs. IJCAI (2005)