Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Federico
    Last name: Heras
    DBLP: 11/303
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 26  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Federico Heras, António Morgado, Joao Marques-Silva.
    MaxSAT-based encodings for Group MaxSAT.
    AI Commun. 2015, Volume 28 (0) 2015
    Conference paper
    Federico Heras, David Bañeres.
    Incomplete inference for graph problems.
    Optimization Letters 2013, Volume 7 (0) 2013
    Conference paper
    António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, Joao Marques-Silva.
    Iterative and core-guided MaxSAT solving: A survey and assessment.
    Constraints 2013, Volume 18 (0) 2013
    Conference paper
    Joao Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov.
    On Computing Minimal Correction Subsets.
    IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 2013 (0) 2013
    Conference paper
    António Morgado, Federico Heras, Joao Marques-Silva.
    Model-Guided Approaches for MaxSAT Solving.
    2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013 2013 (0) 2013
    Conference paper
    Federico Heras, António Morgado, Joao Marques-Silva.
    An Empirical Study of Encodings for Group MaxSAT.
    Advances in Artificial Intelligence - 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings 2012 (0) 2012
    Conference paper
    António Morgado, Federico Heras, Joao Marques-Silva.
    Improvements to Core-Guided Binary Search for MaxSAT.
    Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Federico Heras, António Morgado, Joao Marques-Silva.
    Lower Bounds and Upper Bounds for MaxSAT.
    Algorithmic Learning Theory - 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Federico Heras, António Morgado, Joao Marques-Silva.
    Lower Bounds and Upper Bounds for MaxSAT.
    Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers 2012 (0) 2012
    Conference paper
    Federico Heras, António Morgado, Jordi Planes, Joao Marques-Silva.
    Iterative SAT Solving for Minimum Satisfiability.
    IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012 2012 (0) 2012
    Conference paper
    Federico Heras, António Morgado, Joao Marques-Silva.
    Core-Guided Binary Search Algorithms for Maximum Satisfiability.
    Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011 2011 (0) 2011
    Conference paper
    Federico Heras, Joao Marques-Silva.
    Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms.
    IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 2011 (0) 2011
    Journal article
    Federico Heras, David Bañeres.
    The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers.
    JSAT 2010, Volume 7 (0) 2010
    Conference paper
    Federico Heras.
    New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat.
    ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia, Spain, January 22-24, 2010 2010 (0) 2010
    Conference paper
    Federico Heras, Vasco M. Manquinho, Joao Marques-Silva.
    On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization.
    Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA 2008 (0) 2008
    Conference paper
    Federico Heras, Javier Larrosa.
    A Max-SAT Inference-Based Pre-processing for Max-Clique.
    Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Javier Larrosa, Federico Heras, Simon de Givry.
    A logical approach to efficient Max-SAT solving.
    Artif. Intell. 2008, Volume 172 (0) 2008
    Conference paper
    Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex.
    2006 and 2007 Max-SAT Evaluations: Contributed Instances.
    JSAT 2008, Volume 4 (0) 2008
    Conference paper
    Federico Heras, Javier Larrosa, Albert Oliveras.
    MiniMaxSAT: An Efficient Weighted Max-SAT solver.
    J. Artif. Intell. Res. (JAIR) 2008, Volume 31 (0) 2008
    Conference paper
    Federico Heras, Javier Larrosa, Albert Oliveras.
    MiniMaxSat: A New Weighted Max-SAT Solver.
    Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Federico Heras, Javier Larrosa.
    New Inference Rules for Efficient Max-SAT Solving.
    Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA 2006 (0) 2006
    Conference paper
    Javier Larrosa, Federico Heras, Simon de Givry.
    A Logical Approach to Efficient Max-SAT solving
    CoRR 2006, Volume 0 (0) 2006
    Conference paper
    Federico Heras, Javier Larrosa.
    Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.
    J. Heuristics 2006, Volume 12 (0) 2006
    Conference paper
    Federico Heras, Javier Larrosa.
    Local Consistency in Weighted CSPs and Inference in Max-SAT.
    Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa.
    Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.
    IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005 2005 (0) 2005
    Show item 1 to 25 of 26  

    Your query returned 26 matches in the database.