Daniel Gomez-Prado, Qian Ren, Serkan Askar, Maciej J. Ciesielski, Emmanuel Boutillon. Variable ordering for taylor expansion diagrams. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 55-59, IEEE Computer Society, 2004. [doi]
Abstract is missing.