Towards binary circuit models that faithfully capture physical solvability

Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid. Towards binary circuit models that faithfully capture physical solvability. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 1455-1460, ACM, 2015. [doi]

@inproceedings{FuggerNNS15,
  title = {Towards binary circuit models that faithfully capture physical solvability},
  author = {Matthias Függer and Robert Najvirt and Thomas Nowak and Ulrich Schmid},
  year = {2015},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7092619},
  researchr = {https://researchr.org/publication/FuggerNNS15},
  cites = {0},
  citedby = {0},
  pages = {1455-1460},
  booktitle = {Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015},
  editor = {Wolfgang Nebel and David Atienza},
  publisher = {ACM},
  isbn = {978-3-9815370-4-8},
}