Author:
Bian Zhengbing,Chudak Fabian,Macready William,Roy Aidan,Sebastiani Roberto,Varotti Stefano
Publisher
Springer International Publishing
Reference34 articles.
1. Experimental data, source code, and supplementary material. https://bitbucket.org/aqcsat/frocos2017
2. Adler, I., Dorn, F., Fomin, F.V., Sau, I., Thilikos, D.M.: Faster parameterized algorithms for minor containment. Theor. Comput. Sci. 412, 7018–7028 (2011)
3. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories. In: Handbook of Satisfiability (2009)
4. Betz, V., Rose, J.: Vpr: a new packing, placement and routing tool for FPGA research. In: Field Programmable Logic Workshop (1997)
5. Bian, Z., Chudak, F., Israel, R., Lackey, B., Macready, W.G., Roy A.: Discrete optimization using quantum annealing on sparse Ising models. Frontiers in Physics (2014)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献