Assessing fault-tolerant quantum advantage for k-SAT with structure

Brehm, Martijn

This repository allows you to generate several types of random SAT instances, solve them with a basic backtracking solver and a more modern sat solver.

Additional Metadata
Organisation	Algorithms and Complexity
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Brehm, M. (2024). Assessing fault-tolerant quantum advantage for k-SAT with structure.

Additional Files
View at GitHub

See Also
article Assessing fault-tolerant quantum advantage for k-SAT with structure M.A. Brehm (Martijn) and J.R. Weggemans (Jordi)

Assessing fault-tolerant quantum advantage for k-SAT with structure

Publication

Publication

article
Assessing fault-tolerant quantum advantage for k-SAT with structure

Address

CWI researchers

Questions or comments?

Assessing fault-tolerant quantum advantage for k-SAT with structure

Publication

Publication

article Assessing fault-tolerant quantum advantage for k-SAT with structure

Workflow

Workflow

Add Content

article
Assessing fault-tolerant quantum advantage for k-SAT with structure