ToQUBO.jl Booklet

This booklet aims to gather the theoretical and practical details behind ToQUBO and provide documentation for project internals. The target audience includes, among others, advanced users and those willing to contribute to the project. The latter are advised to read the following sections, as they give a glimpse of the ideas employed up to now.

Table of Contents

• QUBO
• • Definition
  • OK, but why QUBO?
• Pseudo-Boolean Optimization
• • Quadratization
• Encoding Methods
• • Variables
  • Constraints
• Virtual Mapping
• • Virtual Model
  • Virtual Variables
• The Compiler
• • Compilation Steps
• QUBO Solvers
• • Solvers, Annealers & Samplers
  • Simulated Annealing
  • Quantum Annealing
  • Random Sampling
  • Exact Solver (Exhaustive Enumeration)
  • Mixed-Integer Quadratic Programming
• Appendix
• • ToQUBO.jl's Assets