19 citations · 19 across the 7 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.AI2012
Lex-Partitioning: A New Option for BDD Search
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented an…
cs.DS2012
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering
Anton Wijs, Dragan Bošnački, Stefan Edelkamp
These are the proceedings of the First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012), which took place on April 1, 2012 in Tallinn, Estonia, as a satellite…