A finite state intersection approach to propositional satisfiability (Q442157): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68T20 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q45 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68T27 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| 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 | |||
Revision as of 01:18, 30 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A finite state intersection approach to propositional satisfiability |
scientific article |
Statements
A finite state intersection approach to propositional satisfiability (English)
0 references
9 August 2012
0 references
ALL-SAT
0 references
model counting
0 references
FSA intersection
0 references
regular expression compilation
0 references
intersection grammars (FSIG)
0 references
