On conversions from CNF to ANF (Q2307626): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2019.07.023
@@ Property / DOI: 10.1016/j.jsc.2019.07.023 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ApCoCoA
@@ Property / describes a project that uses: ApCoCoA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+antom
@@ Property / describes a project that uses: antom / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CNFgen
@@ Property / describes a project that uses: CNFgen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Glucose
@@ Property / describes a project that uses: Glucose / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CryptoMiniSat
@@ Property / describes a project that uses: CryptoMiniSat / 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.1016/j.jsc.2019.07.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2964724182
@@ Property / OpenAlex ID: W2964724182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687264
@@ Property / cites work: Q5687264 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Cryptanalysis
@@ Property / cites work: Algebraic Cryptanalysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767083
@@ Property / cites work: Q2767083 / rank @@
+Normal rank
@@ Property / cites work @@
+The Magma algebra system. I: The user language
@@ Property / cites work: The Magma algebra system. I: The user language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4931177
@@ Property / cites work: Q4931177 / rank @@
+Normal rank
@@ Property / cites work @@
+Polybori: A framework for Gröbner-basis computations with Boolean polynomials
+Normal rank
@@ Property / cites work @@
+Q4488342
@@ Property / cites work: Q4488342 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gröbner Basis Approach to CNF-Formulae Preprocessing
+Normal rank
@@ Property / cites work @@
+Q4418532
@@ Property / cites work: Q4418532 / rank @@
+Normal rank
@@ Property / cites work @@
+ElimLin Algorithm Revisited
@@ Property / cites work: ElimLin Algorithm Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+FGb: A Library for Computing Gröbner Bases
@@ Property / cites work: FGb: A Library for Computing Gröbner Bases / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Algebraic and SAT Solvers
@@ Property / cites work: Integrating Algebraic and SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Splittings by Linear Combinations
+Normal rank
@@ Property / cites work @@
+Algebraic attacks using SAT-solvers
@@ Property / cites work: Algebraic attacks using SAT-solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507801
@@ Property / cites work: Q4507801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473057
@@ Property / cites work: Q4473057 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution over linear equations and multilinear proofs
+Normal rank
@@ Property / cites work @@
+Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2019.07.023
@@ Property / DOI: 10.1016/J.JSC.2019.07.023 / rank @@
+Normal rank