Ahmad-Saher Azizi-Sultan

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 4

Top Topics

Satisfiability Testing

Multi Criteria Optimization

Propositional Logic

Top Venues

J. Comb. Optim.

Logica Universalis

Publications