Djamal Habet

Available identifiers

Publication	Date of Publication	Type
Proofs and Certificates for Max-SAT	2023-01-09	Paper
Boosting branch-and-bound MaxSAT solvers with clause learning	2022-09-16	Paper
A proof builder for Max-SAT	2022-03-22	Paper
\textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver	2021-12-09	Paper
Understanding the power of Max-SAT resolution through up-resilience	2021-08-16	Paper
Improving configuration checking for satisfiable random \(k\)-SAT instances	2017-03-06	Paper
Bounding the optimum for the problem of scheduling the photographs of an agile Earth observing satellite	2010-10-26	Paper
Consistency checking within local search applied to the frequency assignment with polarization problem	2006-07-11	Paper

This page was built for person: Djamal Habet