Daniel Grosse · @Daniel_Grosse
9 followers · 12 posts · Server fosstodon.org

Today at Alexander Konrad from U Freiburg presents our joint work on „ Using Symbolic Computer Algebra and Delayed Don’t Care Optimization“

👉 ics.jku.at/files/2023MBMV_Divi

#mbmv2023 #divider #verification

Last updated 2 years ago

Architecture News · @architecture
81 followers · 1610 posts · Server masto.ai
@Om · @atomjack604
201 followers · 3597 posts · Server mastodon.social
@Om* · @atomjack
1255 followers · 13282 posts · Server mastodon.cloud
@Om* · @atomjack
1277 followers · 13323 posts · Server mastodon.cloud
@Om* · @atomjack
1255 followers · 13282 posts · Server mastodon.cloud
@Om* · @atomjack
1277 followers · 13320 posts · Server mastodon.cloud