An experiment with satisfiability modulo SAT (Q287334): Difference between revisions

@@ Property / author @@
-Han-Tao Zhang
@@ Property / author: Han-Tao Zhang / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585623
@@ Property / zbMATH DE Number: 6585623 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional satisfiability
@@ Property / zbMATH Keywords: propositional satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability modulo theory
@@ Property / zbMATH Keywords: satisfiability modulo theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+magic squares
@@ Property / zbMATH Keywords: magic squares / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATO
@@ Property / describes a project that uses: SATO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / author @@
+Han-Tao Zhang
@@ Property / author: Han-Tao Zhang / 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-015-9354-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2262466478
@@ Property / OpenAlex ID: W2262466478 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolved problems on magic squares
@@ Property / cites work: Unsolved problems on magic squares / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+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 @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+A family of pandiagonal bimagic squares based on orthogonal arrays
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank
@@ Property / cites work @@
+The existence and application of strongly idempotent self-orthogonal row Latin magic arrays
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:287334