Heras, Federico

7 publications

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

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

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

JAIR 2008 MiniMaxSAT: An Efficient Weighted Max-SAT Solver Federico Heras, Javier Larrosa, Albert Oliveras

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

IJCAI 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