default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFederico Heras
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c18]Federico Heras:
Evolution and Comparative Analysis of Enterprise Architecture Tools. ICSBT (Revised Selected Papers) 2023: 113-131- [c17]Federico Heras:
A Comparison of Enterprise Architecture Tools. ICSBT 2023: 186-192
2010 – 2019
- 2015
- [j8]Federico Heras, António Morgado
, João Marques-Silva:
MaxSAT-based encodings for Group MaxSAT. AI Commun. 28(2): 195-214 (2015) - 2013
- [j7]António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva:
Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints An Int. J. 18(4): 478-534 (2013) - [j6]Federico Heras, David Bañeres:
Incomplete inference for graph problems. Optim. Lett. 7(4): 791-805 (2013) - [c16]António Morgado, Federico Heras, João Marques-Silva:
Model-Guided Approaches for MaxSAT Solving. ICTAI 2013: 931-938 - [c15]João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov:
On Computing Minimal Correction Subsets. IJCAI 2013: 615-622 - 2012
- [c14]Federico Heras, António Morgado, João Marques-Silva:
An Empirical Study of Encodings for Group MaxSAT. Canadian AI 2012: 85-96 - [c13]Federico Heras, António Morgado, Jordi Planes, João 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: 36-41 - [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. J. Satisf. Boolean Model. Comput. 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
2000 – 2009
- 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. 31: 1-32 (2008) - [j2]Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex:
2006 and 2007 Max-SAT Evaluations: Contributed Instances. J. Satisf. Boolean Model. Comput. 4(2-4): 239-250 (2008) - [c7]Federico Heras, Vasco Manquinho, João Marques-Silva:
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. FLAIRS 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-22 19:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
