A SAT-Based Compiler for FlexCore
Rapport, 2011
Författare
Nikita Frolov
Chalmers, Data- och informationsteknik, Datorteknik
Magnus Själander
Chalmers, Data- och informationsteknik, Datorteknik
Per Larsson-Edefors
Chalmers, Data- och informationsteknik, Datorteknik
Sally A McKee
Chalmers, Data- och informationsteknik, Datorteknik
Ämneskategorier
Datavetenskap (datalogi)
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 1652