共 50 条
- [1] Conflict-Driven Conditional Termination COMPUTER AIDED VERIFICATION, CAV 2015, PT II, 2015, 9207 : 271 - 286
- [3] Conflict-Driven Synthesis for Layout Engines PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
- [4] Conflict-driven answer set enumeration LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 136 - +
- [5] Conflict-Driven Answer Set Solving 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 386 - 392
- [8] Towards Conflict-Driven Learning for Virtual Substitution COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2014, 2014, 8660 : 256 - 270
- [10] Program Synthesis using Conflict-Driven Learning PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 420 - 435