|
|||||
|
|
The parameterized complexity of k-flip local search for SAT and MAX SAT |
|
| Authors: | Stefan Szeider |
| Affiliation: | Vienna University of Technology, Institute of Information Systems, Favoritenstraße 9-11, A-1040 Vienna, Austria;Charles Darwin University, Darwin, NT 0909, Australia;University of Bergen, POB 7803, 5020 Bergen, Norway;Royal Holloway, University of London, Egham, Surrey, TW20 0EX, UK |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |