Author:
Belova Tatiana,Bliznets Ivan
Publisher
Springer International Publishing
Reference25 articles.
1. Alon, N., Gutin, G., Kim, E.J., Szeider, S., Yeo, A.: Solving MAX-r-SAT above a tight lower bound. Algorithmica 61(3), 638–655 (2011)
2. Lecture Notes in Computer Science;N Bansal,1999
3. Basavaraju, M., Francis, M.C., Ramanujan, M., Saurabh, S.: Partially polynomial kernels for set cover and test cover. SIAM J. Discrete Math. 30(3), 1401–1423 (2016)
4. Battiti, R., Protasi, M.: Reactive search, a history-sensitive heuristic for MAX-SAT. J. Exp. Algorithmics (JEA) 2, 2 (1997)
5. Berg, J., Hyttinen, A., Järvisalo, M.: Applications of MaxSAT in data analysis. Pragmatics of SAT (2015)