I agree that this site is using cookies. You can find further informations here.
X
Habet, Djamal
159  results:
Search for persons X
?
1

A Tableau Calculus for Signed Maximum Satisfiability:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),
Li, Shuolin ; Coll, Jordi ; Habet, Djamal.. - p. 170-175 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A Proof Builder for Max-SAT:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,
Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal - p. 488-498 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Conflict history based heuristic for constraint satisfactio..:

Habet, Djamal ; Terrioux, Cyril
Journal of Heuristics.  27 (2021)  6 - p. 951-990 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Towards Bridging the Gap Between SAT and Max-SAT Refutation:

, In: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI),
Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal - p. 137-144 , 2020
Link: https://doi.org/10.1109/..
 
?
5

On the Refinement of Conflict History Search Through Multi-..:

, In: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI),
Cherif, Mohamed Sami ; Habet, Djamal ; Terrioux, Cyril - p. 264-271 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Understanding the power of Max-SAT resolution through UP-re..:

Cherif, Mohamed Sami ; Habet, Djamal ; Abramé, André
Artificial Intelligence.  289 (2020)  - p. 103397 , 2020
Link: https://doi.org/10.1016/..
 
?
7

Towards the Characterization of Max-Resolution Transformati..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,
Cherif, Mohamed Sami ; Habet, Djamal - p. 91-107 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Conflict history based search for constraint satisfaction p..:

, In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,
Habet, Djamal ; Terrioux, Cyril - p. 1117-1122 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Improving configuration checking for satisfiable random k-S..:

Abramé, André ; Habet, Djamal ; Toumi, Donia
Annals of Mathematics and Artificial Intelligence.  79 (2016)  1-3 - p. 5-24 , 2016
Link: https://doi.org/10.1007/..
 
?
10

ahmaxsat: Description and Evaluation of a Branch and Bound ..:

Abramé, André ; Habet, Djamal
Journal on Satisfiability, Boolean Modeling and Computation.  9 (2015)  1 - p. 89-128 , 2015
Link: https://doi.org/10.3233/..
 
?
11

Bounding the optimum for the problem of scheduling the phot..:

Habet, Djamal ; Vasquez, Michel ; Vimont, Yannick
Computational Optimization and Applications.  47 (2008)  2 - p. 307-333 , 2008
Link: https://doi.org/10.1007/..
 
?
12

A CP Approach for the Liner Shipping Network Design Problem:

El Ghazi, Yousra ; Habet, Djamal ; Terrioux, Cyril
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.CP.2023.16.  , 2023
Link: https://amu.hal.science/..
 
?
13

A New Variable Ordering for In-processing Bounded Variable ..:

Li, Shuolin ; Li, Chu-Min ; Luo, Mao...
hal-04145361.  , 2023
Link: https://hal.science/hal-..
 
?
14

Proofs and Certificates for Max-SAT (Extended Abstract) *:

Py, Matthieu ; Cherif, Mohamed, Sami ; Habet, Djamal
info:eu-repo/semantics/altIdentifier/doi/10.24963/ijcai.2023/787.  , 2023
Link: https://hal.science/hal-..
 
?
15

Conception des lignes d'un réseau de transport maritime à l..:

El Ghazi, Yousra ; Habet, Djamal ; Terrioux, Cyril
hal-04361937.  , 2023
Link: https://amu.hal.science/..
 
1-15