On algorithms and complexity for sets with cardinality constraints (2005)

by Bruno Marnette
Citations:10 - 7 self

Active Bibliography

543 Model Theory – Wilfrid Hodges - 2000
584 An introduction to software architecture – David Garlan, Mary Shaw - 1993
554 On Visual Formalisms – David Harel - 1988
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
620 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
719 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
454 Efficient implementation of a BDD package – Karl S. Brace, Richard L. Rudell, Randal E. Bryant - 1991