Andr Abram
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICTAI | Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. | Andr Abram, Djamal Habet |
| 2015 | IJCAI | On the Resiliency of Unit Propagation to Max-Resolution. | Andr Abram, Djamal Habet |
| 2015 | ICTAI | Local Search Algorithm for the Partial Minimum Satisfiability Problem. | Andr Abram, Djamal Habet |
| 2014 | CP | Efficient Application of Max-SAT Resolution on Inconsistent Subsets. | Andr Abram, Djamal Habet |
| 2014 | ISAIM | Improving Configuration Checking for Satisfiable Random k-SAT Instances. | Andr Abram, Djamal Habet, Donia Toumi |
| 2014 | ICTAI | Local Max-Resolution in Branch and Bound Solvers for Max-SAT. | Andr Abram, Djamal Habet |
| 2014 | SoCS | Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. | Andr Abram, Djamal Habet |
| 2012 | ICTAI | Inference Rules in Local Search for Max-SAT. | Andr Abram, Djamal Habet |