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

Ahmad-Saher Azizi-Sultan
Resolution for Constrained Pseudo-Propositional Logic. CoRR (2023)
Ahmad-Saher Azizi-Sultan
Constrained Pseudo-Propositional Logic. Logica Universalis 14 (4) (2020)
Ahmad-Saher Azizi-Sultan
Pseudo-Propositional Logic. ARQNL@IJCAR (2018)
Ahmad-Saher Azizi-Sultan
Pseudo-automatic beam orientations in multi-criteria intensity-modulated radiation therapy. J. Comb. Optim. 31 (4) (2016)
Ahmad-Saher Azizi-Sultan
Automatic Selection of Beam Orientations in Intensity-Modulated Radiation Therapy. Electron. Notes Discret. Math. 36 (2010)