共 50 条
- [32] Towards a better understanding of the punctionality of a conflict-driven SAT solver THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, 2007, 4501 : 287 - +
- [33] IntSat: integer linear programming by conflict-driven constraint learning OPTIMIZATION METHODS & SOFTWARE, 2024, 40 (01): : 169 - 196
- [36] Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs Journal of Automated Reasoning, 2022, 66 : 43 - 91
- [37] Conflict-driven Hybrid Observer-based Anomaly Detection 2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 5793 - 5800
- [38] Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2008, 5202 : 630 - +
- [40] HW implementation of the backtrace algorithm with conflict-driven dynamic reconfiguration PROCEEDINGS OF THE 2006 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2006, : 250 - +