Improving interpolants of non-convex polyhedra with linear arithmetic and probably approximatley correct learning for bounded linear arrangements

Beber, Björn2018-05-222018-05-222018https://openscience.ub.uni-mainz.de/handle/20.500.12030/4426engInC-1.0https://rightsstatements.org/vocab/InC/1.0/004 Informatik004 Data processingImproving interpolants of non-convex polyhedra with linear arithmetic and probably approximatley correct learning for bounded linear arrangementsDissertationurn:nbn:de:hebis:77-diss-1000020064xi, 135 Seiten