Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results.

Zhengbing Bian

Zhengbing Bian Fabián A. Chudak William G. Macready Aidan Roy Roberto Sebastiani Stefano Varotti Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. 104609 2020 275 Inf. Comput. https://doi.org/10.1016/j.ic.2020.104609 db/journals/iandc/iandc275.html#BianCMRSV20

Hassan Al Hajj Mathieu Lamard Pierre-Henri Conze Soumali Roychowdhury Xiaowei Hu 0001 Gabija Marsalkaite Odysseas Zisimopoulos Muneer Ahmad Dedmari Fenqiang Zhao Jonas Prellberg Manish Sahu Adrian Galdran Teresa Araújo Duc My Vo Chandan Panda Navdeep Dahiya Satoshi Kondo Zhengbing Bian Gwenolé Quellec CATARACTS: Challenge on automatic tool annotation for cataRACT surgery. 24-41 2019 52 Medical Image Anal. https://doi.org/10.1016/j.media.2018.11.008 https://www.wikidata.org/entity/Q64120832 db/journals/mia/mia52.html#HajjLCRHMZDZPSG19

Arash Vahdat William G. Macready Zhengbing Bian Amir Khoshaman Evgeny Andriyash DVAE++: Discrete Variational Autoencoders with Overlapping Transformations. 5042-5051 2018 ICML http://proceedings.mlr.press/v80/vahdat18a.html conf/icml/2018 db/conf/icml/icml2018.html#VahdatMBKA18

Arash Vahdat William G. Macready Zhengbing Bian Amir Khoshaman DVAE++: Discrete Variational Autoencoders with Overlapping Transformations. 2018 abs/1802.04920 CoRR http://arxiv.org/abs/1802.04920 db/journals/corr/corr1802.html#abs-1802-04920

Zhengbing Bian Fabián A. Chudak William G. Macready Aidan Roy Roberto Sebastiani Stefano Varotti Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results. 2018 abs/1811.02524 CoRR http://arxiv.org/abs/1811.02524 db/journals/corr/corr1811.html#abs-1811-02524

Zhengbing Bian Fabián A. Chudak William G. Macready Aidan Roy Roberto Sebastiani Stefano Varotti Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. 153-171 2017 FroCoS https://doi.org/10.1007/978-3-319-66167-4_9 conf/frocos/2017 db/conf/frocos/frocos2017.html#BianCMRSV17

Zhengbing Bian Qian-Ping Gu Mingzhe Zhu Practical algorithms for branch-decompositions of planar graphs. 156-171 2016 199 Discret. Appl. Math. https://doi.org/10.1016/j.dam.2014.12.017 db/journals/dam/dam199.html#BianGZ16

Zhengbing Bian Fabián A. Chudak Robert B. Israel Brad Lackey William G. Macready Aidan Roy Mapping Constrained Optimization Problems to Quantum Annealing with Application to Fault Diagnosis. 2016 3 Frontiers ICT https://doi.org/10.3389/fict.2016.00014 db/journals/fiict/fiict3.html#BianCILMR16 14

Dmytro Korenkevych Yanbo Xue Zhengbing Bian Fabián A. Chudak William G. Macready Jason Rolfe Evgeny Andriyash Benchmarking Quantum Hardware for Training of Fully Visible Boltzmann Machines. 2016 abs/1611.04528 CoRR http://arxiv.org/abs/1611.04528 db/journals/corr/corr1611.html#KorenkevychXBCM16

Zhengbing Bian Qian-Ping Gu Wavelength assignment in multifiber star networks. 30-38 2010 56 Networks 1 https://doi.org/10.1002/net.20345 db/journals/networks/networks56.html#BianG10

Zhengbing Bian Qian-Ping Gu Xiao Zhou 0001 Efficient algorithms for wavelength assignment on trees of rings. 875-889 2009 157 Discret. Appl. Math. 5 https://doi.org/10.1016/j.dam.2008.04.021 db/journals/dam/dam157.html#BianGZ09

Zhengbing Bian Qian-Ping Gu 1.5-Approximation algorithm for weighted maximum routing and wavelength assignment on rings. 400-404 2009 109 Inf. Process. Lett. 8 https://doi.org/10.1016/j.ipl.2008.12.010 db/journals/ipl/ipl109.html#BianG09

Zhengbing Bian Qian-Ping Gu Marjan Marzban Hisao Tamaki Yumi Yoshitake Empirical Study on Branchwidth and Branch Decomposition of Planar Graphs. 152-165 2008 ALENEX https://doi.org/10.1137/1.9781611972887.15 conf/alenex/2008 db/conf/alenex/alenex2008.html#BianGMTY08 Zhengbing Bian Qian-Ping Gu Computing Branch Decomposition of Large Planar Graphs. 87-100 2008 WEA https://doi.org/10.1007/978-3-540-68552-4_7 conf/wea/2008 db/conf/wea/wea2008.html#BianG08 Zhengbing Bian Qian-Ping Gu Wavelength Assignment in Multifiber WDM Star and Spider Networks. 2430-2435 2007 ICC https://doi.org/10.1109/ICC.2007.351 conf/icc/2007 db/conf/icc/icc2007.html#BianG07 Zhengbing Bian Qian-Ping Gu Xiao Zhou 0001 Tight Bounds for Wavelength Assignment on Trees of Rings. 2005 conf/ipps/2005 IPDPS https://doi.org/10.1109/IPDPS.2005.433 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.433 db/conf/ipps/ipdps2005.html#BianGZ05 Zhengbing Bian Qian-Ping Gu Xiao Zhou 0001 Wavelength Assignment on Bounded Degree Trees of Rings. 73-80 2004 conf/icpads/2004 ICPADS https://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.92 db/conf/icpads/icpads2004.html#BianGZ04 Evgeny Andriyash Teresa AraujoTeresa Araújo Fabián A. Chudak Pierre-Henri Conze Navdeep Dahiya Muneer Ahmad Dedmari Adrian Galdran Qian-Ping Gu Hassan Al Hajj Xiaowei Hu 0001 Robert B. Israel Amir Khoshaman Satoshi Kondo Dmytro Korenkevych Brad Lackey Mathieu Lamard William G. Macready Gabija Marsalkaite Marjan Marzban Chandan Panda Jonas Prellberg Gwenolé Quellec Jason Rolfe Aidan Roy Soumali Roychowdhury Manish Sahu Roberto Sebastiani Hisao Tamaki Arash Vahdat Stefano Varotti Duc My Vo Yanbo Xue Yumi Yoshitake Fenqiang Zhao Xiao Zhou 0001 Mingzhe Zhu Odysseas Zisimopoulos