Wegener, Ingo Worst case examples for operations on OBDDs. (English) Zbl 1339.68124 Inf. Process. Lett. 74, No. 3-4, 91-96 (2000). MSC: 68Q25 68P05 PDFBibTeX XMLCite \textit{I. Wegener}, Inf. Process. Lett. 74, No. 3--4, 91--96 (2000; Zbl 1339.68124) Full Text: DOI Link
Robinson, John P. Genetic search for Golomb arrays. (English) Zbl 1004.94024 IEEE Trans. Inf. Theory 46, No. 3, 1170-1173 (2000). MSC: 94A99 68W01 05B15 PDFBibTeX XMLCite \textit{J. P. Robinson}, IEEE Trans. Inf. Theory 46, No. 3, 1170--1173 (2000; Zbl 1004.94024) Full Text: DOI
Anderson, Richard J.; Beame, Paul; Chan, William; Notkin, David Experiences with the application of symbolic model checking to the analysis of software specifications. (English) Zbl 0970.68723 Bjørner, Dines (ed.) et al., Perspectives of system informatics. 3rd international Andrei Ershov memorial conference, PSI ’99. Akademgorodik, Novosibirsk, Russia, July 6-9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1755, 460-469 (2000). MSC: 68U99 68Q60 68N30 PDFBibTeX XMLCite \textit{R. J. Anderson} et al., Lect. Notes Comput. Sci. 1755, 460--469 (2000; Zbl 0970.68723)
Bollig, Beate; Wegener, Ingo Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems. (English) Zbl 0970.68041 J. Comput. Syst. Sci. 61, No. 3, 558-579 (2000). MSC: 68P05 PDFBibTeX XMLCite \textit{B. Bollig} and \textit{I. Wegener}, J. Comput. Syst. Sci. 61, No. 3, 558--579 (2000; Zbl 0970.68041) Full Text: DOI
Jensen, R. M.; Veloso, M. M. OBDD-based universal planning for synchronized agents in non-deterministic domains. (English) Zbl 0963.68196 J. Artif. Intell. Res. (JAIR) 13, 189-226 (2000). MSC: 68T20 PDFBibTeX XMLCite \textit{R. M. Jensen} and \textit{M. M. Veloso}, J. Artif. Intell. Res. (JAIR) 13, 189--226 (2000; Zbl 0963.68196)
Cimatti, A.; Roveri, M. Conformant planning via symbolic model checking. (English) Zbl 0963.68195 J. Artif. Intell. Res. (JAIR) 13, 305-338 (2000). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Cimatti} and \textit{M. Roveri}, J. Artif. Intell. Res. (JAIR) 13, 305--338 (2000; Zbl 0963.68195)
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. (English) Zbl 0960.68109 Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 395-410 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Lect. Notes Comput. Sci. 1785, 395--410 (2000; Zbl 0960.68109)
Sauerhoff, M. An improved hierarchy result for partitioned BDDs. (English) Zbl 0961.68056 Theory Comput. Syst. 33, No. 4, 313-329 (2000). MSC: 68Q15 PDFBibTeX XMLCite \textit{M. Sauerhoff}, Theory Comput. Syst. 33, No. 4, 313--329 (2000; Zbl 0961.68056) Full Text: DOI
Sauerhoff, Martin; Wegener, Ingo; Werchner, Ralph Optimal ordered binary decision diagrams for read-once formulas. (English) Zbl 0983.94062 Discrete Appl. Math. 103, No. 1-3, 237-258 (2000). MSC: 94C10 68P10 PDFBibTeX XMLCite \textit{M. Sauerhoff} et al., Discrete Appl. Math. 103, No. 1--3, 237--258 (2000; Zbl 0983.94062) Full Text: DOI
Savický, Petr On random orderings of variables for parity ordered binary decision diagrams. (English) Zbl 0952.68067 Random Struct. Algorithms 16, No. 3, 233-239 (2000). MSC: 68Q25 94C99 PDFBibTeX XMLCite \textit{P. Savický}, Random Struct. Algorithms 16, No. 3, 233--239 (2000; Zbl 0952.68067) Full Text: DOI
Huth, Michael; Ryan, Mark [Clarke, Edmund M.] Logic in computer science: Modelling and reasoning about systems. With a foreword by Edmund M. Clarke. (English) Zbl 0955.68001 Cambridge: Cambridge University Press. xviii, 387 p. (2000). Reviewer: Marat M.Arslanov (Kazan’) MSC: 68-01 03-01 68Q60 03B70 PDFBibTeX XMLCite \textit{M. Huth} and \textit{M. Ryan}, Logic in computer science: Modelling and reasoning about systems. With a foreword by Edmund M. Clarke. Cambridge: Cambridge University Press (2000; Zbl 0955.68001)
Wegener, Ingo Communication complexity and BDD lower bound techniques. (English) Zbl 0956.68070 Althöfer, Ingo (ed.) et al., Numbers, information and complexity. Dedicated to Rudolf Ahlswede on the occasion of his 60th birthday. Dordrecht: Kluwer Academic Publishers. 615-628 (2000). MSC: 68Q30 68P25 94A60 PDFBibTeX XMLCite \textit{I. Wegener}, in: Numbers, information and complexity. Dedicated to Rudolf Ahlswede on the occasion of his 60th birthday. Dordrecht: Kluwer Academic Publishers. 615--628 (2000; Zbl 0956.68070)