Federico Heras

	2012
17		Federico Heras, António Morgado, João Marques-Silva: An Empirical Study of Encodings for Group MaxSAT. Canadian Conference on AI 2012: 85-96
	2011
16		Federico Heras, António Morgado, João Marques-Silva: Core-Guided Binary Search Algorithms for Maximum Satisfiability. AAAI 2011
15		Federico Heras, João Marques-Silva: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. IJCAI 2011: 572-577
	2010
14		Federico Heras: New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat. ICAART (1) 2010: 648-651
13		Federico Heras, David Bañeres: The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. JSAT 7(2-3): 89-126 (2010)
	2008
12		Federico Heras, Vasco M. Manquinho, João Marques-Silva: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. FLAIRS Conference 2008: 71-76
11		Federico Heras, Javier Larrosa: A Max-SAT Inference-Based Pre-processing for Max-Clique. SAT 2008: 139-152
10		Javier Larrosa, Federico Heras, Simon de Givry: A logical approach to efficient Max-SAT solving. Artif. Intell. 172(2-3): 204-233 (2008)
9		Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. (JAIR) 31: 1-32 (2008)
8		Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex: 2006 and 2007 Max-SAT Evaluations: Contributed Instances. JSAT 4(2-4): 239-250 (2008)
	2007
7		Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSat: A New Weighted Max-SAT Solver. SAT 2007: 41-55
	2006
6		Federico Heras, Javier Larrosa: New Inference Rules for Efficient Max-SAT Solving. AAAI 2006: 68-73
5		Javier Larrosa, Federico Heras, Simon de Givry: A Logical Approach to Efficient Max-SAT solving CoRR abs/cs/0611025: (2006)
4		Federico Heras, Javier Larrosa: Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. J. Heuristics 12(4-5): 287-306 (2006)
	2005
3		Federico Heras, Javier Larrosa: Local Consistency in Weighted CSPs and Inference in Max-SAT. CP 2005: 849
2		Javier Larrosa, Federico Heras: Resolution in Max-SAT and its relation to local consistency in weighted CSPs. IJCAI 2005: 193-198
1		Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa: Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. IJCAI 2005: 84-89

Coauthor Index

1	David Bañeres	[13]
2	Simon de Givry	[1] [5] [8] [10]
3	Javier Larrosa	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
4	Vasco M. Manquinho	[12]
5	António Morgado	[16] [17]
6	Albert Oliveras	[7] [9]
7	Thomas Schiex	[8]
8	João P. Marques Silva (João Marques-Silva)	[12] [15] [16] [17]
9	Matthias Zytnicki	[1]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page