Farhad Vadiee

Publication Activity (10 Years)

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

Top Topics

Automated Theorem Proving

Deterministic Finite Automaton

Automated Verification

Top Venues

Publications

Mateus de Oliveira Oliveira, Farhad Vadiee
State Canonization and Early Pruning in Width-Based Automated Theorem Proving. FSCD (2024)
Mateus de Oliveira Oliveira, Farhad Vadiee
From Width-Based Model Checking to Width-Based Automated Theorem Proving. AAAI (2023)
Emmanuel Arrighi, Pål Grønås Drange, Kenneth Langedal, Farhad Vadiee, Martin Vatshelle, Petra Wolf
PACE Solver Description: Zygosity. IPEC (2023)
Mateus de Oliveira Oliveira, Farhad Vadiee
From Width-Based Model Checking to Width-Based Automated Theorem Proving. CoRR (2022)
Fidel Ernesto Diaz Andino, Maria Kokkou, Mateus de Oliveira Oliveira, Farhad Vadiee
Unitary Branching Programs: Learnability and Lower Bounds. ICML (2021)