Publication:5457274
From MaRDI portal
zbMath1144.68373MaRDI QIDQ5457274
Sébastien Tabary, Christophe Lecoutre, Lakhdar Saïs, Vincent Vidal
Publication date: 14 April 2008
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants, Promoting robust black-box solvers through competitions, Domain reduction techniques for global NLP and MINLP optimization, Combining restarts, nogoods and bag-connected decompositions for solving csps, Path Consistency by Dual Consistency, Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance
Uses Software