|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary |
WoodStock : un programme-joueur générique.  |
Revue d'Intelligence Artificielle  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary |
A Distributed Version of Syrup. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary |
Constraint-Based Symmetry Detection in General Game Playing. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary |
General game playing with stochastic CSP. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary |
An Adaptive Parallel SAT Solver. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary |
Solving WCSP by Extraction of Minimal Unsatisfiable Cores |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary |
Solving WCSP by Extraction of Minimal Unsatisfiable Cores. |
ICTAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary |
Propagating Soft Table Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 |
Reasoning from last conflict(s) in constraint programming. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Sébastien Tabary |
Lightweight Detection of Variable Symmetries for Constraint Satisfaction. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 |
Recording and Minimizing Nogoods from Restarts. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 |
Transposition Tables for Constraint Satisfaction. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 |
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 |
Nogood Recording from Restarts. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 |
Last Conflict Based Reasoning. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license