Faradžev Read-type enumeration of non-isomorphic CC systems (Q2230397): Difference between revisions

@@ Property / cites work @@
+Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points
+Normal rank
@@ Property / cites work @@
+Computer solution to the 17-point Erdős-Szekeres problem
+Normal rank
@@ Property / cites work @@
+Axioms and hulls
@@ Property / cites work: Axioms and hulls / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating order types for small point sets with applications
+Normal rank
@@ Property / cites work @@
+Nonrealizability proofs in computational geometry
@@ Property / cites work: Nonrealizability proofs in computational geometry / rank @@
+Normal rank
@@ Property / cites work @@
+On halving line arrangements
@@ Property / cites work: On halving line arrangements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198513
@@ Property / cites work: Q4198513 / rank @@
+Normal rank
@@ Property / cites work @@
+Every one a Winner or how to Avoid Isomorphism Search when Cataloguing Combinatorial Configurations
+Normal rank
@@ Property / cites work @@
+Q4400995
@@ Property / cites work: Q4400995 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract order type extension and new results on the rectilinear crossing number
+Normal rank
@@ Property / cites work @@
+A note on universal point sets for planar graphs
@@ Property / cites work: A note on universal point sets for planar graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Two disjoint 5-holes in point sets
@@ Property / cites work: Two disjoint 5-holes in point sets / rank @@
+Normal rank
@@ Property / cites work @@
+A SAT attack on the Erdős-Szekeres conjecture
@@ Property / cites work: A SAT attack on the Erdős-Szekeres conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation
+Normal rank
@@ Property / cites work @@
+Generation of Union Closed Sets and Moore families
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+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 @@
+Implementing Efficient All Solutions SAT Solvers
@@ Property / cites work: Implementing Efficient All Solutions SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604000
@@ Property / cites work: Q3604000 / rank @@
+Normal rank
@@ Property / cites work @@
+Multidimensional Sorting
@@ Property / cites work: Multidimensional Sorting / rank @@
+Normal rank
@@ Property / cites work @@
+On the finding of final polynomials
@@ Property / cites work: On the finding of final polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse search for enumeration
@@ Property / cites work: Reverse search for enumeration / rank @@
+Normal rank