TY - RPRT TI - Faster than classical quantum algorithm for dense formulas of exact satisfiability and occupation problems AU - Salvatore Mandrà AU - Gian Giacomo Guerreschi AU - Alán Aspuru-Guzik PY - 2016 UR - https://ntrs.nasa.gov/citations/42301725746604 ID - 42301725746604 ER -