André Abramé

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 3

Top Topics

Branch And Bound

Satisfiability Problem

Top Venues

Ann. Math. Artif. Intell.

J. Satisf. Boolean Model. Comput.

Publications

Mohamed Sami Cherif, Djamal Habet, André Abramé
Understanding the power of Max-SAT resolution through UP-resilience. Artif. Intell. 289 (2020)
André Abramé, Djamal Habet, Donia Toumi
Improving configuration checking for satisfiable random k-SAT instances. Ann. Math. Artif. Intell. 79 (1-3) (2017)
André Abramé, Djamal Habet
Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. ICTAI (2016)
André Abramé, Djamal Habet
On the Resiliency of Unit Propagation to Max-Resolution. IJCAI (2015)
André Abramé, Djamal Habet
Local Search Algorithm for the Partial Minimum Satisfiability Problem. ICTAI (2015)
André Abramé, Djamal Habet
Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. SOCS (2014)
André Abramé, Djamal Habet
Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
André Abramé, Djamal Habet
On the Extension of Learning for Max-SAT. STAIRS (2014)
André Abramé, Djamal Habet
Efficient Application of Max-SAT Resolution on Inconsistent Subsets. CP (2014)
André Abramé, Djamal Habet
Local Max-Resolution in Branch and Bound Solvers for Max-SAT. ICTAI (2014)
André Abramé, Djamal Habet, Donia Toumi
Improving Configuration Checking for Satisfiable Random k-SAT Instances. ISAIM (2014)
André Abramé, Djamal Habet, Donia Toumi
A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses. STAIRS (2014)
André Abramé, Djamal Habet
Inference Rules in Local Search for Max-SAT. ICTAI (2012)