Djamal Habet - RankMe

50 papers A* 5A 11B 12Misc 2Journal 9Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Cargo Routing Optimization in Liner Shipping Networks. CP Yousra El Ghazi, Djamal Habet, Cyril Terrioux
2025	A*	`conf`	Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT. AAAI Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà
2025	J	`jnl`	Solving weighted Maximum Satisfiability with Branch and Bound and clause learning. Comput. Oper. Res. Jordi Coll, Chu Min Li, Shuolin Li, Djamal Habet, Felip Manyà
2023	A	`conf`	A CP Approach for the Liner Shipping Network Design Problem. CP Yousra El Ghazi, Djamal Habet, Cyril Terrioux
2023	A*	`conf`	A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. IJCAI Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
2023	—	`conf`	A Tableau Calculus for Signed Maximum Satisfiability. ISMVL Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
2023	A*	`conf`	Proofs and Certificates for Max-SAT (Extended Abstract). IJCAI Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2022	—	`conf`	A Tableau Calculus for MaxSAT Based on Resolution. CCIA Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà
2022	J	`jnl`	Boosting branch-and-bound MaxSAT solvers with clause learning. AI Commun. Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2022	A*	`conf`	Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract). IJCAI Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2022	A	`conf`	From Crossing-Free Resolution to Max-SAT Resolution. CP Mohamed Sami Cherif, Djamal Habet, Matthieu Py
2022	J	`jnl`	Proofs and Certificates for Max-SAT. J. Artif. Intell. Res. Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2021	A	`conf`	A Proof Builder for Max-SAT. SAT Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2021	A	`conf`	Combining Clause Learning and Branch and Bound for MaxSAT. CP Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2021	A	`conf`	Combining VSIDS and CHB Using Restarts in SAT. CP Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
2021	B	`conf`	Computing Max-SAT Refutations using SAT Oracles. ICTAI Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2021	J	`jnl`	Conflict history based heuristic for constraint satisfaction problem solving. J. Heuristics Djamal Habet, Cyril Terrioux
2021	B	`conf`	Inferring Clauses and Formulas in Max-SAT. ICTAI Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2020	B	`conf`	On the Refinement of Conflict History Search Through Multi-Armed Bandit. ICTAI Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
2020	B	`conf`	Towards Bridging the Gap Between SAT and Max-SAT Refutations. ICTAI Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2020	J	`jnl`	Understanding the power of Max-SAT resolution through UP-resilience. Artif. Intell. Mohamed Sami Cherif, Djamal Habet, André Abramé
2019	Misc	`conf`	Conflict history based search for constraint satisfaction problem. SAC Djamal Habet, Cyril Terrioux
2019	A	`conf`	Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. CP Mohamed Sami Cherif, Djamal Habet
2018	—	`conf`	Conflict History Based Branching Heuristic for CSP Solving. CIMA@ICTAI Djamal Habet, Cyril Terrioux
2017	J	`jnl`	Improving configuration checking for satisfiable random k-SAT instances. Ann. Math. Artif. Intell. André Abramé, Djamal Habet, Donia Toumi
2016	B	`conf`	Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. ICTAI André Abramé, Djamal Habet
2015	B	`conf`	Local Search Algorithm for the Partial Minimum Satisfiability Problem. ICTAI André Abramé, Djamal Habet
2015	A*	`conf`	On the Resiliency of Unit Propagation to Max-Resolution. IJCAI André Abramé, Djamal Habet
2014	—	`conf`	A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses. STAIRS André Abramé, Djamal Habet, Donia Toumi
2014	J	`jnl`	Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver. J. Satisf. Boolean Model. Comput. André Abramé, Djamal Habet
2014	A	`conf`	Efficient Application of Max-SAT Resolution on Inconsistent Subsets. CP André Abramé, Djamal Habet
2014	Misc	`conf`	Improving Configuration Checking for Satisfiable Random k-SAT Instances. ISAIM André Abramé, Djamal Habet, Donia Toumi
2014	B	`conf`	Local Max-Resolution in Branch and Bound Solvers for Max-SAT. ICTAI André Abramé, Djamal Habet
2014	B	`conf`	Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. SOCS André Abramé, Djamal Habet
2014	—	`conf`	On the Extension of Learning for Max-SAT. STAIRS André Abramé, Djamal Habet
2013	A	`conf`	Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. CP Djamal Habet, Donia Toumi
2012	B	`conf`	Inference Rules in Local Search for Max-SAT. ICTAI André Abramé, Djamal Habet
2012	B	`conf`	Local Search Based on Conflict Analysis for the Satisfiability Problem. ICTAI Djamal Habet, Donia Toumi
2010	J	`jnl`	Bounding the optimum for the problem of scheduling the photographs of an Agile Earth Observing Satellite. Comput. Optim. Appl. Djamal Habet, Michel Vasquez, Yannick Vimont
2010	—	`conf`	Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report. Abstraction, Reformulation, and Approximation Djamal Habet, Philippe Jégou
2009	B	`conf`	A Tree Decomposition Based Approach to Solve Structured SAT Instances. ICTAI Djamal Habet, Lionel Paris, Cyril Terrioux
2009	—	`ch.`	Tabu Search to Solve Real-Life Combinatorial Optimization Problems: A Case of Study. Foundations of Computational Intelligence (3) Djamal Habet
2008	—	`conf`	Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. ICTAI (1) Djamal Habet
2007	—	`conf`	Consistent Neighborhood for the Satisfiability Problem. ICTAI (2) Djamal Habet, Lionel Paris, Belaid Benhamou
2007	—	`conf`	Improving Local Search for Satisfiability Problem by Integrating Structural Properties. RIVF Djamal Habet, Michel Vasquez
2004	—	`conf`	Algorithmes complet et incomplet pour la coloration des graphes de reines. JFPLC Michel Vasquez, Djamal Habet
2004	A	`conf`	Complete and Incomplete Algorithms for the Queen Graph Coloring Problem. ECAI Michel Vasquez, Djamal Habet
2004	B	`conf`	Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. ICTAI Djamal Habet, Michel Vasquez
2003	J	`jnl`	Consistency checking within local search applied to the frequency assignment with polarization problem. RAIRO Oper. Res. Michel Vasquez, Audrey Dupont, Djamal Habet
2002	A	`conf`	A Hybrid Approach for SAT. CP Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez