Old Web
English
Sign In
Acemap
>
authorDetail
>
Robin Steiger
Robin Steiger
Computer science
Real-time computing
Theoretical computer science
Software deployment
Distributed control system
5
Papers
63
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Sets with Cardinality Constraints in Satisfiability Modulo Theories
2011
Lecture Notes in Computer Science
Philippe Suter
Robin Steiger
Viktor Kuncak
Show All
Source
Cite
Save
Citations (13)
1