Yacine Boufkhad

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 3

Top Topics

Accurate Estimation

Verification Method

Satisfiability Problem

Quantified Boolean Formulas

Top Venues

Discret. Appl. Math.

Publications