A proof system for graph (non)-isomorphism verification (Q5883756): Difference between revisions

@@ Property / describes a project that uses @@
+nauty
@@ Property / describes a project that uses: nauty / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Traces
@@ Property / describes a project that uses: Traces / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+conauto
@@ Property / describes a project that uses: conauto / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4318817948
@@ Property / OpenAlex ID: W4318817948 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to ``Milestones in interactive theorem proving''
+Normal rank
@@ Property / cites work @@
+Extending Sledgehammer with SMT Solvers
@@ Property / cites work: Extending Sledgehammer with SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+The Four Colour Theorem: Engineering of a Formal Proof
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
+Normal rank
@@ Property / cites work @@
+Efficient verified (UN)SAT certificate checking
@@ Property / cites work: Efficient verified (UN)SAT certificate checking / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation
+Normal rank
@@ Property / cites work @@
+Isomorph-Free Exhaustive Generation
@@ Property / cites work: Isomorph-Free Exhaustive Generation / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Abstract State Transition Systems for SAT
+Normal rank
@@ Property / cites work @@
+Certifying algorithms
@@ Property / cites work: Certifying algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Practical graph isomorphism. II.
@@ Property / cites work: Practical graph isomorphism. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429158
@@ Property / cites work: Q3429158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848690
@@ Property / cites work: Q2848690 / rank @@
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5883756