共 22 条
- [1] Biere A, 2008, LECT NOTES COMPUT SC, V4996, P28, DOI 10.1007/978-3-540-79719-7_4
- [3] Cai SW, 2010, AAAI CONF ARTIF INTE, P45
- [5] On the hardness of approximating minimum vertex cover [J]. ANNALS OF MATHEMATICS, 2005, 162 (01) : 439 - 485
- [6] Evans I., 1998, P EP 98, P377
- [7] Gomes CP, 1998, FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, P431
- [8] Hutter F., 2002, Principles and Practice of Constraint Programming - CP 2002. 8th International Conference, CP 2002. Proceedings (Lecture Notes in Computer Science Vol.2470), P233
- [9] Khot Subhash, 2002, P 34 ANN ACM S THEOR, P767, DOI [DOI 10.1145/509907.510017, 10.1109/CCC.2002.1004334, DOI 10.1109/CCC.2002.1004334]
- [10] Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem [J]. 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 939 - 946