Federico Heras

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j6		Federico Heras, David Bañeres: Incomplete inference for graph problems. Optimization Letters 7(4): 791-805 (2013)
	2012
c14		Federico Heras, António Morgado, João Marques-Silva: An Empirical Study of Encodings for Group MaxSAT. Canadian Conference on AI 2012: 85-96
c13		Federico Heras, António Morgado, Jordi Planes, João P. Marques Silva: Iterative SAT Solving for Minimum Satisfiability. ICTAI 2012: 922-927
c12		Federico Heras, António Morgado, João Marques-Silva: Lower Bounds and Upper Bounds for MaxSAT. LION 2012: 402-407
c11		António Morgado, Federico Heras, João Marques-Silva: Improvements to Core-Guided Binary Search for MaxSAT. SAT 2012: 284-297
	2011
c10		Federico Heras, António Morgado, João Marques-Silva: Core-Guided Binary Search Algorithms for Maximum Satisfiability. AAAI 2011
c9		Federico Heras, João Marques-Silva: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. IJCAI 2011: 572-577
	2010
j5		Federico Heras, David Bañeres: The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. JSAT 7(2-3): 89-126 (2010)
c8		Federico Heras: New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat. ICAART (1) 2010: 648-651
	2008
j4		Javier Larrosa, Federico Heras, Simon de Givry: A logical approach to efficient Max-SAT solving. Artif. Intell. 172(2-3): 204-233 (2008)
j3		Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. (JAIR) 31: 1-32 (2008)
j2		Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex: 2006 and 2007 Max-SAT Evaluations: Contributed Instances. JSAT 4(2-4): 239-250 (2008)
c7		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
c6		Federico Heras, Javier Larrosa: A Max-SAT Inference-Based Pre-processing for Max-Clique. SAT 2008: 139-152
	2007
c5		Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSat: A New Weighted Max-SAT Solver. SAT 2007: 41-55
	2006
j1		Federico Heras, Javier Larrosa: Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. J. Heuristics 12(4-5): 287-306 (2006)
c4		Federico Heras, Javier Larrosa: New Inference Rules for Efficient Max-SAT Solving. AAAI 2006: 68-73
i1		Javier Larrosa, Federico Heras, Simon de Givry: A Logical Approach to Efficient Max-SAT solving. CoRR abs/cs/0611025 (2006)
	2005
c3		Federico Heras, Javier Larrosa: Local Consistency in Weighted CSPs and Inference in Max-SAT. CP 2005: 849
c2		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
c1		Javier Larrosa, Federico Heras: Resolution in Max-SAT and its relation to local consistency in weighted CSPs. IJCAI 2005: 193-198

Coauthor Index

1	David Bañeres	[j6] [j5]
2	Simon de Givry	[j4] [j2] [i1] [c2]
3	Javier Larrosa	[j4] [j3] [j2] [c6] [c5] [j1] [c4] [i1] [c3] [c2] [c1]
4	Vasco M. Manquinho	[c7]
5	Joao Marques-Silva (João P. Marques Silva, João Marques-Silva)	[c14] [c13] [c12] [c11] [c10] [c9] [c7]
6	António Morgado	[c14] [c13] [c12] [c11] [c10]
7	Albert Oliveras	[j3] [c5]
8	Jordi Planes	[c13]
9	Thomas Schiex	[j2]
10	Matthias Zytnicki	[c2]

Colors in the list of coauthors

Last update Thu May 23 11:37:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page