![](/img/cover-not-exists.png)
Automatically Transforming Object-Oriented Graph-Based Representations Into Boolean Satisfiability Problems for Computational Design Synthesis
Münzer, Clemens, Helms, Bergen, Shea, KristinaVolume:
135
Language:
english
Journal:
Journal of Mechanical Design
DOI:
10.1115/1.4024850
Date:
July, 2013
File:
PDF, 1.92 MB
english, 2013