Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130): Difference between revisions

@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473048
@@ Property / cites work: Q4473048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553262
@@ Property / cites work: Q4553262 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
+Normal rank
@@ Property / cites work @@
+Boolean satisfiability with transitivity constraints
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Q4551177
@@ Property / cites work: Q4551177 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The propositional formula checker HeerHugo
@@ Property / cites work: The propositional formula checker HeerHugo / rank @@
+Normal rank
@@ Property / cites work @@
+Design of experiments and evaluation of BDD ordering heuristics
+Normal rank
@@ Property / cites work @@
+Q4003964
@@ Property / cites work: Q4003964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475671
@@ Property / cites work: Q4475671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4276004
@@ Property / cites work: Q4276004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741524
@@ Property / cites work: Q2741524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473057
@@ Property / cites work: Q4473057 / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4864698
@@ Property / cites work: Q4864698 / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-suppressed BDDs and their applications
@@ Property / cites work: Zero-suppressed BDDs and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+A satisfiability procedure for quantified Boolean formulae
+Normal rank
@@ Property / cites work @@
+Q4818813
@@ Property / cites work: Q4818813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / cites work @@
+A discrete Lagrangian-based global-search method for solving satisfiability problems
+Normal rank
@@ Property / cites work @@
+Efficient manipulation of decision diagrams
@@ Property / cites work: Efficient manipulation of decision diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754092
@@ Property / cites work: Q2754092 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769591
@@ Property / cites work: Q2769591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553255
@@ Property / cites work: Q4553255 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification based on Boolean expression diagrams
+Normal rank
@@ Property / cites work @@
+Q2754079
@@ Property / cites work: Q2754079 / rank @@
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank