共 50 条
- [22] The Conflict-Driven Answer Set Solver clasp: Progress Report LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 509 - 514
- [23] Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness Journal of Automated Reasoning, 2020, 64 : 579 - 609
- [28] On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers LOGIC PROGRAMMING, 2009, 5649 : 250 - 264
- [29] Opposing influences on conflict-driven adaptation in the Eriksen flanker task Memory & Cognition, 2008, 36 : 1217 - 1227
- [30] A Conflict-Driven Solving Procedure for Poly-Power Constraints Journal of Automated Reasoning, 2020, 64 : 1 - 20