TRL 4 research
KryoSAT & GigaBit SAT
Cryptographic SAT and large-scale SAT research. GigaBit SAT is described as a multicore proof of concept, with distributed MPI engineering planned.
What you can explore
Explore satisfiability formulations through KryoSAT and GigaBit SAT.
Scope and availability
The portfolio classifies this work at TRL 4. GigaBit SAT is a multicore proof of concept; distributed MPI engineering is planned.
A useful first evaluation
Use authorized, non-sensitive benchmark instances. Verify satisfiability results and compare memory and runtime with established SAT solvers.
Start with your problem.
Talk to Quzones about KryoSAT & GigaBit SAT, your constraints and the next practical step.
Discuss an evaluation ↗