Synthesis of layout engines from relational constraints

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 23, 2015
Source ID
10.1145/2814270.2814291

Entities

People

  • Rastislav Bodík
  • Thibaud Hottelier

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • United States Department of Defense
  • University of California, Berkeley
  • University of Washington