An algorithm based on tabu search for satisfiability problem (Q1613279): Difference between revisions

@@ Property / cites work @@
+On \(k\)-positive satisfiability problem
@@ Property / cites work: On \(k\)-positive satisfiability problem / 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 @@
+Q4386921
@@ Property / cites work: Q4386921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687272
@@ Property / cites work: Q5687272 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
+Normal rank