Partition-based logical reasoning for first-order and propositional theories (Q2457688)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partition-based logical reasoning for first-order and propositional theories |
scientific article |
Statements
Partition-based logical reasoning for first-order and propositional theories (English)
0 references
23 October 2007
0 references
reasoning with structure
0 references
theorem proving
0 references
first-order logic
0 references
SAT
0 references
tree decomposition
0 references
graphical models
0 references
parallel computation
0 references
distributed computation
0 references
0 references
0 references
