Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
Towards binary circuit models that faithfully capture physical solvability
DATE, 2015.
@inproceedings{DATE-2015-FuggerNNS,
acmid = "2757149",
author = "Matthias Függer and Robert Najvirt and Thomas Nowak and Ulrich Schmid",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1455--1460",
publisher = "{ACM}",
title = "{Towards binary circuit models that faithfully capture physical solvability}",
year = 2015,
}