Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie (HPSV)

Publikationen

2016

Thorsten Ehlers, Peter J. Stuckey: Parallelizing Constraint Programming with Learning (CPAIOR 2016)