Follow
Farhad Vadiee
Farhad Vadiee
Verified email at uib.no - Homepage
Title
Cited by
Cited by
Year
From Width-Based Model Checking to Width-Based Automated Theorem Proving
M de Oliveira Oliveira, F Vadiee
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6297-6304, 2023
12023
PACE Solver Description: Zygosity
E Arrighi, PG Drange, K Langedal, F Vadiee, M Vatshelle, P Wolf
18th International Symposium on Parameterized and Exact Computation (IPEC 2023), 2023
2023
From Width-Based Model Checking to Width-Based Automated Theorem Proving
MO Oliveira, F Vadiee
arXiv preprint arXiv:2205.10995, 2022
2022
Unitary Branching Programs: Learnability and Lower Bounds
FED Andino, M Kokkou, MDO Oliveira, F Vadiee
International Conference on Machine Learning, 297-306, 2021
2021
Unitary Branching Programs: Learnability and Lower Bounds
FE Diaz Andino, M Kokkou, MDO Oliveira, F Vadiee
Proceedings of Machine Learning Research, 2021
2021
An Upper Bound for Double Total Domination Set
A Jafari, S Alipour, E Mahmoodian, F Vadiee
2018
The system can't perform the operation now. Try again later.
Articles 1–6