Anissa Kheireddine

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Np Complete Problems

Solving Complex

Boolean Formula

Bounded Model Checking

Top Venues

Constraints An Int. J.

Publications

Anissa Kheireddine, Etienne Renault, Souheib Baarir
Interpolation-Based Learning for Bounded Model Checking. ENASE (2024)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Towards better heuristics for solving bounded model checking problems. Constraints An Int. J. 28 (1) (2023)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Tuning SAT solvers for LTL Model Checking. APSEC (2022)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). CP (2021)