Towards backbone computing: A Greedy-Whitening based approach (Q5145436): Difference between revisions

@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BG-WalkSAT
@@ Property / describes a project that uses: BG-WalkSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Exact solution of large-scale, asymmetric traveling salesman problems
+Normal rank
@@ Property / cites work @@
+Frozen development in graph coloring
@@ Property / cites work: Frozen development in graph coloring / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing backbones of propositional formulae
+Normal rank
@@ Property / cites work @@
+On Computing Backbones of Propositional Theories
@@ Property / cites work: On Computing Backbones of Propositional Theories / rank @@
+Normal rank
@@ Property / cites work @@
+On Improving MUS Extraction Algorithms
@@ Property / cites work: On Improving MUS Extraction Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129943914
@@ Property / Wikidata QID: Q129943914 / rank @@
+Normal rank