Implicit Hitting Set Algorithms for Reasoning Beyond NP.

Paul Saikko, Johannes P. Wallner, Matti Jrvisalo

Browse the full KR paper archive.