The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Djamal Habet" ( http://dblp.L3S.de/Authors/Djamal_Habet )

  Author page on DBLP  Author page in RDF  Community of Djamal Habet in ASPL-2

Publication years (Num. hits)
2002-2013 (15) 2014-2019 (14)
Publication types (Num. hits)
article(4) incollection(1) inproceedings(24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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