André Abramé

According to our database, André Abramé authored at least 12 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Understanding the power of Max-SAT resolution through UP-resilience.

Mohamed Sami Cherif, Djamal Habet, André Abramé

Artif. Intell., 2020

2017

Improving configuration checking for satisfiable random k-SAT instances.

André Abramé, Djamal Habet, Donia Toumi

Ann. Math. Artif. Intell., 2017

2016

Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers.

André Abramé, Djamal Habet

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015

On the Resiliency of Unit Propagation to Max-Resolution.

André Abramé, Djamal Habet

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Local Search Algorithm for the Partial Minimum Satisfiability Problem.

André Abramé, Djamal Habet

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver.

André Abramé, Djamal Habet

J. Satisf. Boolean Model. Comput., 2014

A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses.

André Abramé, Djamal Habet, Donia Toumi

Proceedings of the STAIRS 2014, 2014

On the Extension of Learning for Max-SAT.

André Abramé, Djamal Habet

Proceedings of the STAIRS 2014, 2014

Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers.

André Abramé, Djamal Habet

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

Local Max-Resolution in Branch and Bound Solvers for Max-SAT.

André Abramé, Djamal Habet

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Efficient Application of Max-SAT Resolution on Inconsistent Subsets.

André Abramé, Djamal Habet

Proceedings of the Principles and Practice of Constraint Programming, 2014

2012

Inference Rules in Local Search for Max-SAT.

André Abramé, Djamal Habet

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012