×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [search search f]
Home >
search search f
Logical Foundations of AI SAT Henry Kautz. Resolution Refutation Proof DAG, where leaves are input clauses Internal nodes are resolvants Root is false.
213 views