Satisfiability in Boolean Logic (SAT problem) is polynomial? (Q5071401): Difference between revisions

@@ Property / author @@
-Q385069
@@ Property / author: Q385069 / rank @@
-Normal rank
@@ Property / author @@
+Vladimir Vladimirovich Rybakov
@@ Property / author: Vladimir Vladimirovich Rybakov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4205154944
@@ Property / OpenAlex ID: W4205154944 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071737
@@ Property / cites work: Q4071737 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating hard satisfiability problems
@@ Property / cites work: Generating hard satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules for pretable modal logics
@@ Property / cites work: Admissible rules for pretable modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Logical equations and admissible rules of inference with parameters in modal provability logics
+Normal rank
@@ Property / cites work @@
+Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
+Normal rank
@@ Property / cites work @@
+Q3090774
@@ Property / cites work: Q3090774 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5071401