Publisher
Springer Nature Switzerland
Reference37 articles.
1. Lecture Notes in Computer Science;M Abseher,2017
2. Ansótegui, C., Manyà, F., Ojeda, J., Salvia, J.M., Torres, E.: Incomplete MaxSAT approaches for combinatorial testing. J. Heuristics 28, 377–431 (2022). https://doi.org/10.1007/s10732-022-09495-3
3. Bannach, M., Skambath, M., Tantau, T.: On the parallel parameterized complexity of MaxSAT variants. In: SAT (2022)
4. Bannach, M., Hecher, M.: Torsomaxsat. http://github.com/maxbannach/TorsoMaxSAT
5. Lecture Notes in Computer Science;J Berg,2023