SAT and IP based algorithms for magic labeling including a complete search for total magic labelings (Q2018542): Difference between revisions

@@ Property / cites work @@
+Magic Labelings on Cycles and Wheels
@@ Property / cites work: Magic Labelings on Cycles and Wheels / rank @@
+Normal rank
@@ Property / cites work @@
+Numbered complete graphs, unusual rulers, and assorted applications
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Totally magic graphs
@@ Property / cites work: Totally magic graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying Pseudo-Boolean Constraints in Residual Number Systems
+Normal rank
@@ Property / cites work @@
+A dynamic survey of graph labeling
@@ Property / cites work: A dynamic survey of graph labeling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT and IP Based Algorithms for Magic Labeling with Applications
+Normal rank
@@ Property / cites work @@
+An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Magic labeling in graphs: Bounds, complexity, and an application to a variant of TSP
+Normal rank
@@ Property / cites work @@
+Boosting haplotype inference with local search
@@ Property / cites work: Boosting haplotype inference with local search / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537240
@@ Property / cites work: Q4537240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4795895
@@ Property / cites work: Q4795895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+On \(k\)-minimum and \(m\)-minimum edge-magic injections of graphs
+Normal rank
@@ Property / cites work @@
+Compiling finite domain constraints to SAT with<tt>BEE</tt>
+Normal rank
@@ Property / cites work @@
+Boolean Equi-propagation for Concise and Efficient SAT Encodings of  Combinatorial Problems
+Normal rank
@@ Property / cites work @@
+SAT problems with chains of dependent variables
@@ Property / cites work: SAT problems with chains of dependent variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4862899
@@ Property / cites work: Q4862899 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear programming. Foundations and extensions.
@@ Property / cites work: Linear programming. Foundations and extensions. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723258
@@ Property / cites work: Q2723258 / rank @@
+Normal rank