共 50 条
- [1] Statistical Debugging Using a Hierarchical Model of Correlated Predicates ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 251 - 256
- [2] Performance debugging using parallel performance predicates SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1993, 28 (12):
- [5] Debugging sequential circuits using Boolean Satisfiability 5TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2005, : 44 - 49
- [6] Debugging sequential circuits using Boolean satisfiability ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 204 - 209
- [7] DEFINABLE PREDICATES IN BOOLEAN ALGEBRAS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (03): : 257 - 278
- [8] Fault diagnosis and logic debugging using Boolean satisfiability 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2003, : 60 - 65
- [10] THE BOOLEAN-ALGEBRA OF PREDICATES ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 355 - 360