GamePad

swMATH46011MaRDI QIDQ5972954FDOQ5972954

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1806.00608

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

Cited In (5)

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

This page was built for software: GamePad