Vol-1162⫷ Vol-1163 ⫸Vol-1164
urn:nbn:de:0074-1163-0


Vol-1163/paper-12⫷Vol-1163/paper-13
Konstantin KorovinMarek KostaThomas Sturm 0001

Towards Conflict-Driven Learning for Virtual Substitution