Approximating minimal unsatisfiable subformulae by means of adaptive core search (Q1408373): Difference between revisions

@@ Property / describes a project that uses @@
+HeerHugo
@@ Property / describes a project that uses: HeerHugo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Leibniz
@@ Property / describes a project that uses: Leibniz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263701
@@ Property / cites work: Q4263701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247437
@@ Property / cites work: Q4247437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4444470
@@ Property / cites work: Q4444470 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+Locating Minimal Infeasible Constraint Sets in Linear Programs
+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 @@
+Q5687266
@@ Property / cites work: Q5687266 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+Q5687274
@@ Property / cites work: Q5687274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703800
@@ Property / cites work: Q2703800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2749861
@@ Property / cites work: Q2749861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840102
@@ Property / cites work: Q4840102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3145805
@@ Property / cites work: Q3145805 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching rules for satisfiability
@@ Property / cites work: Branching rules for satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Solving propositional satisfiability problems
@@ Property / cites work: Solving propositional satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714131
@@ Property / cites work: Q4714131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2749859
@@ Property / cites work: Q2749859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+Q5687269
@@ Property / cites work: Q5687269 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+Q4705311
@@ Property / cites work: Q4705311 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing the Davis-Putnam method
@@ Property / cites work: Implementing the Davis-Putnam method / rank @@
+Normal rank