共 50 条
- [42] Solving Hard Mizar Problems with Instantiation and Strategy Invention [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, 2024, 14690 : 315 - 333
- [45] Solving of SAT - Problems of artificial intelligence with the help of local elimination algorithms [J]. Tsekhmistro, R.I. (1970ts@rambler.ru), 1600, Begell House Inc. (75): : 621 - 630
- [46] An efficient MILP-based decomposition strategy for solving large-scale scheduling problems in the shipbuilding industry [J]. Optimization and Engineering, 2019, 20 : 1085 - 1115
- [48] An Efficient Algorithm For Solving Dynamic Complex DCOP Problems [J]. 2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 2, 2009, : 339 - +