Federico Heras

According to our database1, Federico Heras authored at least 26 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Evolution and Comparative Analysis of Enterprise Architecture Tools.
Proceedings of the Smart Business Technologies - 20th International Conference, 2023

A Comparison of Enterprise Architecture Tools.
Proceedings of the 20th International Conference on Smart Business Technologies, 2023

2015
MaxSAT-based encodings for Group MaxSAT.
AI Commun., 2015

2013
Incomplete inference for graph problems.
Optim. Lett., 2013

Iterative and core-guided MaxSAT solving: A survey and assessment.
Constraints An Int. J., 2013

On Computing Minimal Correction Subsets.
Proceedings of the IJCAI 2013, 2013

Model-Guided Approaches for MaxSAT Solving.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012
Improvements to Core-Guided Binary Search for MaxSAT.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Lower Bounds and Upper Bounds for MaxSAT.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Iterative SAT Solving for Minimum Satisfiability.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

An Empirical Study of Encodings for Group MaxSAT.
Proceedings of the Advances in Artificial Intelligence, 2012

2011
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms.
Proceedings of the IJCAI 2011, 2011

Core-Guided Binary Search Algorithms for Maximum Satisfiability.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers.
J. Satisf. Boolean Model. Comput., 2010

New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat.
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.
J. Satisf. Boolean Model. Comput., 2008

MiniMaxSAT: An Efficient Weighted Max-SAT solver.
J. Artif. Intell. Res., 2008

A logical approach to efficient Max-SAT solving.
Artif. Intell., 2008

A Max-SAT Inference-Based Pre-processing for Max-Clique.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007
MiniMaxSat: A New Weighted Max-SAT Solver.
Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.
J. Heuristics, 2006

New Inference Rules for Efficient Max-SAT Solving.
Proceedings of the Proceedings, 2006

2005
Resolution in Max-SAT and its relation to local consistency in weighted CSPs.
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.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2005


  Loading...