Proceedings

Federico Heras

4 papers in the IJCAI proceedings

IJCAI 2013

On Computing Minimal Correction Subsets
with João P. Marques Silva, Mikolás Janota, Alessandro Previti, Anton Belov
Details PDF

IJCAI 2011

Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
with João P. Marques Silva
doi:10.5591/978-1-57735-516-8/IJCAI11-103
Details PDF

IJCAI 2005

Existential arc consistency: Getting closer to full arc consistency in weighted CSPs
with Simon de Givry, Matthias Zytnicki, Javier Larrosa
Details PDF
Resolution in Max-SAT and its relation to local consistency in weighted CSPs
with Javier Larrosa
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards