共 50 条
- [26] UWrMaxSat: Efficient Solver for MaxSAT and Pseudo-Boolean Problems 2020 IEEE 32ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2020, : 132 - 136
- [30] Comparing variants of MMAS ACO algorithms on pseudo-boolean functions ENGINEERING STOCHASTIC LOCAL SEARCH ALGORITHMS: DESIGNING, IMPLEMENTING AND ANALYZING EFFECTIVE HEURISTICS, 2007, 4638 : 61 - +