Lorenzo Lago

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Error Resilience

Quantified Boolean Formulae

Constraint Satisfaction Problems

Ordered Binary Decision Diagrams

Top Venues

Theor. Comput. Sci.

Publications

Anna Bernasconi, Valentina Ciriani, Lorenzo Lago
On the error resilience of ordered binary decision diagrams. Theor. Comput. Sci. 595 (2015)
Anna Bernasconi, Valentina Ciriani, Lorenzo Lago
On the Error Resilience of Ordered Binary Decision Diagrams. CoRR (2014)
Anna Bernasconi, Valentina Ciriani, Lorenzo Lago
Error resilient OBDDs. DDECS (2013)