Login / Signup
Ludwig Griebl
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Material Handling
Planning Problems
Binary Decision Diagrams
Symbolic Model Checking
Top Venues
CoRR
Formal Methods Syst. Des.
</>
Publications
</>
Ludwig Griebl
,
Johann Schuster
Some notes on the abstraction operation for multi-terminal binary decision diagrams.
Formal Methods Syst. Des.
44 (1) (2014)
Ludwig Griebl
,
Johann Schuster
Some notes on the abstraction operation for Multi-Terminal Binary Decision Diagrams
CoRR
(2013)