CrystalBall

swMATH43911MaRDI QIDQ5974892FDOQ5974892

Author name not available (Why is that?)

Official website: https://meelgroup.github.io/crystalball/

Described by source

• CrystalBall: gazing in the black box of SAT solving

Cited In (5)

• An efficient subsumption test pipeline for BS(LRA) clauses
• Learning variable activity initialisation for lazy clause generation solvers
• XOR local search for Boolean Brent equations
• GPU-PRISM
• GPUexplore

This page was built for software: CrystalBall