Carla P. Gomes, Ashish Sabharwal. Exploiting Runtime Variation in Complete Solvers. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 463-480, IOS Press, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.