Search
for Author
All Reviews
Woltzenlogel Paleo, Bruno
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning
Slaney J., Woltzenlogel Paleo B. Journal of Automated Reasoning 60(2): 133-156, 2018. Type: Article
This work introduces the conflict resolution calculus (CR), which is shown to use unification “to generalize conflict-driven clause learning,” and an intermediary calculus, clausal natural deduction (CND). It proves...
...
Jul 3 2018
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy