GamePad

swMATH46011MaRDI QIDQ5972954FDOQ5972954

Author name not available (Why is that?)

Source code repository: https://github.com/ml4tp/gamepad

Cited In (2)

• Guiding high-performance SAT solvers with unsat-core predictions
• The role of entropy in guiding a connection prover

This page was built for software: GamePad