| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Djamal Habet, Cyril Terrioux |
Conflict history based search for constraint satisfaction problem.  |
SAC  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Sami Cherif, Djamal Habet |
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Cyril Terrioux |
Conflict History Based Branching Heuristic for CSP Solving. |
CIMA@ICTAI |
2018 |
DBLP BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet, Donia Toumi |
Improving configuration checking for satisfiable random k-SAT instances. |
Ann. Math. Artif. Intell. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. |
ICTAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
Local Search Algorithm for the Partial Minimum Satisfiability Problem. |
ICTAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
On the Resiliency of Unit Propagation to Max-Resolution. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver. |
JSAT |
2014 |
DBLP BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
On the Extension of Learning for Max-SAT. |
STAIRS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet, Donia Toumi |
A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses. |
STAIRS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
Local Max-Resolution in Branch and Bound Solvers for Max-SAT. |
ICTAI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
Efficient Application of Max-SAT Resolution on Inconsistent Subsets. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. |
SOCS |
2014 |
DBLP BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet, Donia Toumi |
Improving Configuration Checking for Satisfiable Random k-SAT Instances. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Djamal Habet, Donia Toumi |
Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet |
Inference Rules in Local Search for Max-SAT. |
ICTAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Donia Toumi |
Local Search Based on Conflict Analysis for the Satisfiability Problem. |
ICTAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Michel Vasquez, Yannick Vimont |
Bounding the optimum for the problem of scheduling the photographs of an Agile Earth Observing Satellite. |
Comp. Opt. and Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Philippe Jégou |
Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report. |
Abstraction, Reformulation, and Approximation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Djamal Habet |
Tabu Search to Solve Real-Life Combinatorial Optimization Problems: A Case of Study. |
Foundations of Computational Intelligence (3) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Lionel Paris, Cyril Terrioux |
A Tree Decomposition Based Approach to Solve Structured SAT Instances. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet |
Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Michel Vasquez |
Improving Local Search for Satisfiability Problem by Integrating Structural Properties. |
RIVF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Lionel Paris, Belaid Benhamou |
Consistent Neighborhood for the Satisfiability Problem. |
ICTAI (2) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Vasquez, Djamal Habet |
Algorithmes complet et incomplet pour la coloration des graphes de reines. |
JFPLC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michel Vasquez, Djamal Habet |
Complete and Incomplete Algorithms for the Queen Graph Coloring Problem. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Djamal Habet, Michel Vasquez |
Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Vasquez, Audrey Dupont, Djamal Habet |
Consistency checking within local search applied to the frequency assignment with polarization problem. |
RAIRO - Operations Research |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez |
A Hybrid Approach for SAT. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license