共 50 条
- [32] Solving GA-Hard Problems with EMMRS and GPGPUs GECCO'14: PROCEEDINGS OF THE 2014 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2014, : 1007 - 1014
- [35] Solving Hard Mizar Problems with Instantiation and Strategy Invention INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, 2024, 14690 : 315 - 333
- [37] Solving Problems With a Mix of Hard and Soft Constraints Using Modified Infeasibility Driven Evolutionary Algorithm (IDEA-M) 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2014, : 983 - 990
- [39] Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 4864 - 4868