Conflict-Driven Synthesis for Layout Engines

Bibliographic Details
Main Authors: Liu, Junrui, Chen, Yanju, Atkinson, Eric, Feng, Yu, Bodik, Rastislav
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: ACM 2023
Online Access:https://hdl.handle.net/1721.1/151093
Description
Description not available.