"Towards Conflict-Driven Learning for Virtual Substitution."

Konstantin Korovin, Marek Kosta, Thomas Sturm (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics