André Abramé

13 papers A* 1A 1B 5Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Understanding the power of Max-SAT resolution through UP-resilience.
Artif. Intell.
Mohamed Sami Cherif, Djamal Habet, André Abramé
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
2012 B conf
Inference Rules in Local Search for Max-SAT.
ICTAI
André Abramé, Djamal Habet