@TechReport{frolov+:11-04_1652-926X,
  author = {N. Frolov and M. Sj\"{a}lander and P. Larsson-Edefors and Sally A. McKee},
  title = "{A SAT-Based Compiler for FlexCore}",
  institution = {Department of Computer Science and Engineering, Chalmers University of Technology and G\"{o}teborg University},
  issn = {1652-926X},
  number = {11-04},
  year = {2011},
}