Dr Federico Heras | UCD Complex and Adaptive Systems Laboratory (CASL)

People

Dr Federico Heras Viaga

Contact Details

Title	Post Doctoral Researcher 1
Address	School of Computer Science & Informatics Computer Science Building Belfield Dublin 4
Email:	ei.dcu@agaivsareh.ociredef

Biography:

Research Interests

Peer Reviewed Journals

Federico Heras and David Baneres; (2010) 'The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers'. Journal of Satisfiability, Boolean Modeling and Computation, . [Details]

Javier Larrosa, Federico Heras and Simon de Givry; (2008) 'A logical approach to efficient Max-SAT solving'. Journal of Artificial Intelligence, . [Details]

Federico Heras, Javier Larrosa, Simon de Givry andThomas Schiex; (2008) '2006 and 2007 Max-SAT Evaluations: Contributed Instances'. Journal on Satisfiability, Boolean Modeling and Computation, . [Details]

Federico Heras, Javier Larrosa and Albert Oliveras; (2008) 'MiniMaxSAT: An Efficient Weighted Max-SAT solver'. Journal of Artificial Intelligence Research, . [Details]

Federico Heras and Javier Larrosa; (2006) 'Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP'. Journal of Heuristics, . [Details]

Other Journals

Josep Cedo Perpinya Marc Dalmau Ballester David Maso Mas Federico Heras Viaga German Munuera Pubill Jose Manuel Gil Lozano; (2009) 'Providing Information to a Mobile Communications Device' . [Details]

Conference Publications

Federico Heras; (2010) New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat . In: INSTICC eds. ICAART 2010 Valencia, Spain, , pp.648-651 [Details]

Federico Heras, Rafael Gimenez, Arturo Ortega and Xavier Trabado; (2009) Securing the Universal Control Hub architecture European Conference on Ambient Intelligence [Details]

Federico Heras, Vasco M. Manquinho, João Marques-Silva; (2008) On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization Twenty-First International Florida Artificial Intelligence Research Society Conference [Details]

Federico Heras and Javier Larrosa; (2008) A Max-SAT Inference-Based Pre-processing for Max-Clique Theory and Applications of Satisfiability Testing [Details]

Federico Heras, Javier Larrosa and Albert Oliveras:; (2007) MiniMaxSat: A New Weighted Max-SAT Solver Theory and Applications of Satisfiability Testing [Details]

Show All

Federico Heras and Javier Larrosa; (2006) New Inference Rules for Efficient Max-SAT Solving Twenty-First National Conference on Artificial Intelligence (AAAI) [Details]
Javier Larrosa and Federico Heras; (2005) Resolution in Max-SAT and its relation to local consistency in weighted CSPs Nineteenth International Joint Conference on Artificial Intelligence (IJCAI) [Details]
Simon de Givry, Federico Heras, Matthias Zytnicki and Javier Larrosa; (2005) Existential arc consistency: Getting closer to full arc consistency in weighted CSPs Nineteenth International Joint Conference on Artificial Intelligence (IJCAI) [Details]
Federico Heras and Javier Larrosa; (2005) Local Consistency in Weighted CSPs and Inference in Max-SAT Principles and Practice of Constraint Programming (CP) [Details]
Hide