Djamal Habet

Publications

245

Citations

H-Index

2005

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université de Toulon

Aix-Marseille Université

Laboratoire d’Informatique et Systèmes

Université de Picardie Jules Verne

Djamal Habet is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and combinatorial optimization.

ORCID

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationSatisfiabilityAutomated ReasoningFormal MethodsFormal VerificationComputational ComplexityMathematical ProgrammingData Science

Publications per year

2005–2021

Publications

Bounding the optimum for the problem of scheduling the photographs of an Agile Earth Observing Satellite

Djamal Habet, Michel Vasquez, Yannick Vimont · Computational Optimization and Applications · 2008 · 110 citations

Engineering, Project Scheduling, Scheduling Analysis +10

ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver

André Abramé, Djamal Habet · Journal on Satisfiability Boolean Modeling and Computation · 2015 · 27 citations · Full text

Mathematical Programming, Branch-and-bound Algorithm, Engineering +18

Solving the selecting and scheduling satellite photographs problem with a consistent neighborhood heuristic

Djamal Habet, Michel Vasquez · 2005 · 24 citations

Mathematical Programming, Engineering, Consistent Neighborhood Heuristic +19

On the resiliency of unit propagation to max-resolution

André Abramé, Djamal Habet · International Conference on Artificial Intelligence · 2015 · 18 citations

Artificial Intelligence, Computational Complexity Theory, Engineering +19

Improving configuration checking for satisfiable random k-SAT instances

André Abramé, Djamal Habet, Donia Toumi · Annals of Mathematics and Artificial Intelligence · 2016 · 18 citations

Cluster Computing, Engineering, Automated Reasoning +7

Rows per page

1–5 of 9