A SAT Characterization of Boolean-Program Correctness

This publication has 9 references indexed in Scilit:

• Virtual Storytelling Using Virtual Reality Technologies for Storytelling
  Published by Springer Nature ,2001
• Chaff
  Published by Association for Computing Machinery (ACM) ,2001
• Bebop: A Symbolic Model Checker for Boolean Programs
  Published by Springer Nature ,2000
• Model Checking as Constraint Solving
  Published by Springer Nature ,2000
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• Symbolic Model Checking without BDDs
  Published by Springer Nature ,1999
• Predicate Calculus and Program Semantics
  Published by Springer Nature ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Magic sets and other strange ways to implement logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985