Login / Signup
E. Rizzi
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Formal Verification
Algebraic Decision Diagrams
Model Checking
Dynamic Bayesian Networks
Top Venues
Electron. Notes Discret. Math.
</>
Publications
</>
Domenico Labbate
,
Marién Abreu
,
E. Rizzi
,
John Sheehan
A counterexample to the odd 2-factored snarks conjecture.
Electron. Notes Discret. Math.
40 (2013)