You can manage bookmarks using lists, please log in to your user account for this.
2014
Soos, Mate
[Author];
Golia, Priyanka
[Author];
Chakraborty, Sourav
[Author];
Meel, Kuldeep S.
[Author]
;
Mate Soos and Priyanka Golia and Sourav Chakraborty and Kuldeep S. Meel
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Wille, Robert
[Author];
Jung, Jean Christoph
[Author];
Sülflow, Andre
[Author];
Drechsler, Rolf
[Author]
;
Robert Wille and Jean Christoph Jung and Andre Sülflow and Rolf Drechsler
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Kulikov, Alexander S.
[Author];
Pechenev, Danila
[Author];
Slezkin, Nikita
[Author]
;
Alexander S. Kulikov and Danila Pechenev and Nikita Slezkin
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Yang, Jiong
[Author];
Shaw, Arijit
[Author];
Baluta, Teodora
[Author];
Soos, Mate
[Author];
Meel, Kuldeep S.
[Author]
;
Jiong Yang and Arijit Shaw and Teodora Baluta and Mate Soos and Kuldeep S. Meel
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
theses.fr, 2014-12-10
Biere, Armin
[Author];
Ganesh, Vijay
[Author];
Grohe, Martin
[Author];
Nordström, Jakob
[Author];
Williams, Ryan
[Author]
;
Armin Biere and Vijay Ganesh and Martin Grohe and Jakob Nordström and Ryan Williams
[Contributor]