Valse-XT Automatisierte Validierung von System-on-Chip-Entwürfen References in zbMATH (referenced in 1 article ) Showing result 1 of 1. y Sorted by year (citations) 10 20 50 all Achterberg, Tobias: SCIP: solving constraint integer programs (2009)