Mining definitions in Kissat with Kittens (Q6056639): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-023-00421-2
+Normal rank
@@ Property / OpenAlex ID @@
+W4366823129
@@ Property / OpenAlex ID: W4366823129 / rank @@
+Normal rank
@@ Property / cites work @@
+Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817533
@@ Property / cites work: Q4817533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5148371
@@ Property / cites work: Q5148371 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Testing and Debugging of SAT and QBF Solvers
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Logic Synthesis for Speeding Up SAT
@@ Property / cites work: Applying Logic Synthesis for Speeding Up SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental inprocessing in SAT solving
@@ Property / cites work: Incremental inprocessing in SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Decomposition
@@ Property / cites work: Blocked Clause Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination for SAT and QSAT
@@ Property / cites work: Clause Elimination for SAT and QSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination Procedures for CNF Formulas
@@ Property / cites work: Clause Elimination Procedures for CNF Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Definability for model counting
@@ Property / cites work: Definability for model counting / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415235
@@ Property / cites work: Q4415235 / rank @@
+Normal rank
@@ Property / cites work @@
+Certified DQBF solving by definition extraction
@@ Property / cites work: Certified DQBF solving by definition extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation-based semantic gate extraction and its applications to QBF preprocessing
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818801
@@ Property / cites work: Q4818801 / rank @@
+Normal rank