Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872): Difference between revisions

@@ Property / author @@
-Ilias S. Kotsireas
@@ Property / author: Ilias S. Kotsireas / rank @@
-Normal rank
@@ Property / author @@
+Ilias S. Kotsireas
@@ Property / author: Ilias S. Kotsireas / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+veriT
@@ Property / describes a project that uses: veriT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Alloy*
@@ Property / describes a project that uses: Alloy* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageSAT
@@ Property / describes a project that uses: SageSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Shatter
@@ Property / describes a project that uses: Shatter / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+bliss
@@ Property / describes a project that uses: bliss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NumPy
@@ Property / describes a project that uses: NumPy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hadamard
@@ Property / describes a project that uses: Hadamard / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Magma
@@ Property / describes a project that uses: Magma / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lynx
@@ Property / describes a project that uses: Lynx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathCheck
@@ Property / describes a project that uses: MathCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FFTW
@@ Property / describes a project that uses: FFTW / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPGraph
@@ Property / describes a project that uses: CPGraph / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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 @@
+sharpSAT
@@ Property / describes a project that uses: sharpSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-016-9396-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2558199011
@@ Property / OpenAlex ID: W2558199011 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q123112521
@@ Property / Wikidata QID: Q123112521 / rank @@
+Normal rank