|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Federico Heras, João Marques-Silva |
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras, António Morgado, João Marques-Silva |
Core-Guided Binary Search Algorithms for Maximum Satisfiability. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras, David Bañeres |
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. |
JSAT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras |
New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat. |
ICAART |
2010 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex |
2006 and 2007 Max-SAT Evaluations: Contributed Instances. |
JSAT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa, Albert Oliveras |
MiniMaxSAT: An Efficient Weighted Max-SAT solver. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Federico Heras, Simon de Givry |
A logical approach to efficient Max-SAT solving. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa |
A Max-SAT Inference-Based Pre-processing for Max-Clique. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
Max-clique, Inference, Max-SAT |
| 1 | Federico Heras, Vasco M. Manquinho, João Marques-Silva |
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. |
FLAIRS Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa, Albert Oliveras |
MiniMaxSat: A New Weighted Max-SAT Solver. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa |
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. |
J. Heuristics |
2006 |
DBLP DOI BibTeX RDF |
Weighted CSPs, Local consistency |
| 1 | Javier Larrosa, Federico Heras, Simon de Givry |
A Logical Approach to Efficient Max-SAT solving |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa |
New Inference Rules for Efficient Max-SAT Solving. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Federico Heras |
Resolution in Max-SAT and its relation to local consistency in weighted CSPs. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa |
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa |
Local Consistency in Weighted CSPs and Inference in Max-SAT. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")