Djamal Habet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Solving weighted maximum satisfiability with branch and bound and clause learning Computers & Operations Research	2025-12-02	Paper
Proofs and Certificates for Max-SAT Journal of Artificial Intelligence Research	2023-01-09	Paper
Boosting branch-and-bound MaxSAT solvers with clause learning AI Communications	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 Journal on Satisfiability, Boolean Modeling and Computation	2021-12-09	Paper
Understanding the power of Max-SAT resolution through up-resilience Artificial Intelligence	2021-08-16	Paper
Improving configuration checking for satisfiable random \(k\)-SAT instances Annals of Mathematics and Artificial Intelligence	2017-03-06	Paper
Bounding the optimum for the problem of scheduling the photographs of an agile Earth observing satellite Computational Optimization and Applications	2010-10-26	Paper
Consistency checking within local search applied to the frequency assignment with polarization problem RAIRO - Operations Research	2006-07-11	Paper
Consistency checking within local search applied to the frequency assignment with polarization problem RAIRO - Operations Research	2006-07-11	Paper
Consistency checking within local search applied to the frequency assignment with polarization problem RAIRO - Operations Research	2006-07-11	Paper

Research outcomes over time

This page was built for person: Djamal Habet