Finding Lean Induced Cycles in Binary Hypercubes (Q3637155): Difference between revisions

@@ Property / cites work @@
+SAT-solving the coverability problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Q3515554
@@ Property / cites work: Q3515554 / rank @@
+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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+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 @@
+Q4681162
@@ Property / cites work: Q4681162 / rank @@
+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 @@
+A heuristic approach for constructing symmetric Gray codes
+Normal rank
@@ Property / cites work @@
+Q5284096
@@ Property / cites work: Q5284096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413201
@@ Property / cites work: Q4413201 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Combinatorial Gray Codes
@@ Property / cites work: A Survey of Combinatorial Gray Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Generation of Oriented Matroids Using Satisfiability Solvers
+Normal rank
@@ Property / cites work @@
+Generalized Snake-in-the-Box Codes
@@ Property / cites work: Generalized Snake-in-the-Box Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Periodic Orbits and Equilibria in Glass Models for Gene Regulatory Networks
+Normal rank
@@ Property / cites work @@
+An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors
+Normal rank
@@ Property / cites work @@
+Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
+Normal rank