Straight ROBDDs are not the Best for Pos - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Roberto Bagnara. Straight ROBDDs are not the Best for Pos. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 493-498, 1996.

The following publications are possibly variants of this publication:

A Reactive Implementation of Pos Using ROBDDsRoberto Bagnara. plilp 1996: 107-121

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of PosRoberto Bagnara, Peter Schachte. agp 1998: 227-240

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of PosRoberto Bagnara, Peter Schachte. amast 1999: 471-485 [doi]

runs on WebDSL