Filtrer vos résultats
- 10
- 6
- 12
- 3
- 1
- 16
- 1
- 1
- 1
- 4
- 1
- 2
- 4
- 2
- 11
- 5
- 16
- 6
- 3
- 3
- 2
- 2
- 1
- 16
- 10
- 9
- 6
- 6
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
|
|
triés par
|
|
Nouvelles bornes inférieurs pour le problème de la somme colorationROADEF2010, Feb 2010, Toulouse, France
Communication dans un congrès
hal-00471751v1
|
||
A branching heuristic for SAT solvers based on complete implication graphsScience China Information Sciences, 2019, 62 (7), ⟨10.1007/s11432-017-9467-7⟩
Article dans une revue
hal-03636419v1
|
|||
Satisfying versus Falsifying in Local Search for SatisfiabilitySAT-2012, 2012, Trento, Italy, Italy. pp.477-478
Communication dans un congrès
hal-00999316v1
|
|||
|
Greedy Algorithms for the Minimum Sum Coloring ProblemLogistique et transports, Mar 2009, Sousse, Tunisia. pp.LT-027
Communication dans un congrès
hal-00451266v1
|
||
Comparaison de m�thodes de r�solution pour le probl�me de somme colorationJFPC-2015, 2015, Bordeaux, France. pp.204-213
Communication dans un congrès
hal-01323742v1
|
|||
|
Problème de la somme coloration d'un grapheRoadef2009, Feb 2009, Nancy, France
Communication dans un congrès
hal-00449507v1
|
||
Lower bounds for the minimum sum coloring problemInternational symposium on combinatorial optimization, May 2010, Hammamet, Tunisia. pp.663-670, ⟨10.1016/j.endm.2010.05.084⟩
Communication dans un congrès
istex
hal-00496293v1
|
|||
|
Clause vivification by unit propagation in CDCL SAT solversArtificial Intelligence, 2020, 279, ⟨10.1016/j.artint.2019.103197⟩
Article dans une revue
hal-03636415v1
|
||
Interpretation of Cook's theorem - What is NP?ICPI 2013, 2013, Xian, China, China. pp.474-481
Communication dans un congrès
hal-00999303v1
|
|||
|
A memetic algorithm for the minimum sum coloring problemConférence Internationale en Recherche Opérationnelle (CIRO'2010), May 2010, Marrakech, Morocco. pp.KS
Communication dans un congrès
hal-00533488v1
|
||
|
Exact methods for the minimum sum coloring problem2015
Autre publication scientifique
hal-01326666v1
|
||
Optimisation de la planification de processus en conflit de ressource : résolution par solveur minsatROADEF 2015, 2015, Marseille, France
Communication dans un congrès
hal-01323895v1
|
|||
|
Somme coloration de graphe8e Conf2rence Internationale de MOd2lisation et SIMulation - MOSIM'10., May 2010, Hammamet, Tunisie. pp.276
Communication dans un congrès
hal-00527271v1
|
||
Exploiting historical relationships of clauses and variables in local search for satisfiabilitySAT-2012, 2012, Trento, Italy, Italy. pp.479-480
Communication dans un congrès
hal-00999317v1
|
|||
Exact methods for the minimum sum coloring problemDPCP-2015, 2015, Cork, Ireland, Iran. pp.61-69
Communication dans un congrès
hal-01323741v1
|
|||
A new upper bound for the maximum weight clique problemEuropean Journal of Operational Research, 2018, 270 (1), pp.66-77. ⟨10.1016/j.ejor.2018.03.020⟩
Article dans une revue
hal-03636424v1
|