@misc{indiciae6d3ef902e2b7,
  title = {Faster than classical quantum algorithm for dense formulas of exact satisfiability and occupation problems},
  author = {Salvatore Mandrà and Gian Giacomo Guerreschi and Alán Aspuru-Guzik},
  year = {2016},
  url = {https://ntrs.nasa.gov/citations/42301725746604},
  note = {Source identifier: 42301725746604}
}