Search for Author All Reviews
	Slaney, John     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