Author of the publication

A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver.

, and . IJCAI, page 294-299. Morgan Kaufmann, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symbolic Prime Generation for Multiple-Valued Functions., , and . DAC, page 40-44. (1992)A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver., and . IJCAI, page 294-299. Morgan Kaufmann, (1991)New Ideas for Solving Covering Problems., and . DAC, page 641-646. ACM Press, (1995)Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour., and . DAC, page 205-210. (1988)Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams., , and . CAV, volume 531 of Lecture Notes in Computer Science, page 23-32. Springer, (1990)Verification of Synchronous Sequential Machines Based on Symbolic Execution., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 365-373. Springer, (1989)Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions., and . DAC, page 36-39. (1992)A Unified Framework for the Formal Verification of Sequential Circuits., and . ICCAD, page 126-129. IEEE Computer Society, (1990)Automating the diagnosis and the rectification of design errors with PRIAM., , and . ICCAD, page 30-33. IEEE Computer Society, (1989)New ideas on symbolic manipulations of finite state machines., , and . ICCD, page 224-227. IEEE Computer Society, (1990)