41 citations · 91 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020
Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams
Joan Thibault, Khalil Ghorbal
We introduce a novel framework, termed DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing v…
cs.LO2010★ 40 cited
A Logical Product Approach to Zonotope Intersection
Khalil Ghorbal, Eric Goubault, Sylvie Putot
We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron dom…