CrystalBall

swMATH43911MaRDI QIDQ5974892FDOQ5974892

Author name not available (Why is that?)

Described by source

• CrystalBall: gazing in the black box of SAT solving

Cited In (3)

• 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

This page was built for software: CrystalBall