Selection of search strategies for solving 3-SAT problems (Q2511762): Difference between revisions

@@ Property / cites work @@
+A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Answer set based design of knowledge systems
@@ Property / cites work: Answer set based design of knowledge systems / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+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 @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Decomposition-based logic synthesis for PAL-based CPLDs
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of the fuzzy inference system for implementation in the FPGA structure
+Normal rank
@@ Property / cites work @@
+Maxterm Covering for Satisfiability
@@ Property / cites work: Maxterm Covering for Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized theory of uncertainty (GTU) -- principal concepts and ideas
+Normal rank
@@ Property / cites work @@
+Is there a need for fuzzy logic?
@@ Property / cites work: Is there a need for fuzzy logic? / rank @@
+Normal rank