A finite state intersection approach to propositional satisfiability (Q442157): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2012.04.030
@@ Property / DOI: 10.1016/j.tcs.2012.04.030 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6064531
@@ Property / zbMATH DE Number: 6064531 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ALL-SAT
@@ Property / zbMATH Keywords: ALL-SAT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model counting
@@ Property / zbMATH Keywords: model counting / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+FSA intersection
@@ Property / zbMATH Keywords: FSA intersection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+regular expression compilation
@@ Property / zbMATH Keywords: regular expression compilation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intersection grammars (FSIG)
@@ Property / zbMATH Keywords: intersection grammars (FSIG) / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sharpSAT
@@ Property / describes a project that uses: sharpSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SBSAT
@@ Property / describes a project that uses: SBSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FORCE
@@ Property / describes a project that uses: FORCE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.04.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2001123191
@@ Property / OpenAlex ID: W2001123191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability
+Normal rank
@@ Property / cites work @@
+Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3503197
@@ Property / cites work: Q3503197 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for the maximum satisfiability problem
@@ Property / cites work: Algorithms for the maximum satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of intersecting finite state automata and \(\mathcal{NL}\) versus \(\mathcal{NP}\)
+Normal rank
@@ Property / cites work @@
+The emptiness problem for intersections of regular languages
+Normal rank
@@ Property / cites work @@
+Q4217604
@@ Property / cites work: Q4217604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5485993
@@ Property / cites work: Q5485993 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Resolution Proofs for Conjoining BDDs
@@ Property / cites work: Extended Resolution Proofs for Conjoining BDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449164
@@ Property / cites work: Q4449164 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+A geometric hierarchy beyond context-free languages
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The state complexities of some basic operations on regular languages
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2012.04.030
@@ Property / DOI: 10.1016/J.TCS.2012.04.030 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:442157