Avgerinos Delkos

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Theorem Proving

Top Venues

Publications

Avgerinos Delkos, Marianna Girlando
A dynamic approach to ceteris paribus counterfactuals. CoRR (2023)
Anupam Das, Avgerinos Delkos
Proof Complexity of Monotone Branching Programs. CiE (2022)
Anupam Das, Avgerinos Delkos
Proof complexity of positive branching programs. CoRR (2021)