Marcus Leivo

According to our database, Marcus Leivo authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Preprocessing in Incomplete MaxSAT Solving.

Marcus Leivo, Jeremias Berg, Matti Järvisalo

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020