Login / Signup
Alessandro Facchini
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 35
Top Topics
Model Checking
Bounded Rationality
Decision Diagrams
Computational Complexity
Top Venues
CoRR
ISIPTA
Int. J. Approx. Reason.
ACM Trans. Comput. Log.
</>
Publications
</>