Concepedia

André Abramé

AA

4

Publications

73

Citations

4

H-Index

2014

Active since

Affiliations

Aix-Marseille Université(Current)

Université de Toulon

Centre National de la Recherche Scientifique

École Nationale Supérieure d'Architecture Montpellier

André Abramé is an author at Aix-Marseille Université specializing in engineering, automated reasoning, and satisfiability.

Top concepts

EngineeringSatisfiabilityComputer ScienceAutomated ReasoningFormal MethodsComputational ComplexityCombinatorial OptimizationFormal VerificationApproximation TheoryMathematical Programming

Publications per year

2014–2016

4

Publications

4

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

André Abramé, Djamal Habet · Journal on Satisfiability Boolean Modeling and Computation · 2015 · 27 citations · Full text

Mathematical Programming, Branch-and-bound Algorithm, Engineering +18

On the resiliency of unit propagation to max-resolution

André Abramé, Djamal Habet · International Conference on Artificial Intelligence · 2015 · 18 citations

Artificial Intelligence, Computational Complexity Theory, Engineering +19

Improving configuration checking for satisfiable random k-SAT instances

André Abramé, Djamal Habet, Donia Toumi · Annals of Mathematics and Artificial Intelligence · 2016 · 18 citations

Cluster Computing, Engineering, Automated Reasoning +7

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

André Abramé, Djamal Habet · 2014 · 10 citations

Mathematical Programming, Branch-and-bound Algorithm, Engineering +16

Rows per page

1–4 of 4