PaInleSS
From MaRDI portal
Software:33766
No author found.
Related Items (8)
ALIAS: a modular tool for finding backdoors for SAT ⋮ Community and LBD-based clause sharing policy for parallel SAT solving ⋮ Reproducible efficient parallel SAT solving ⋮ Black-box optimization in an extended search space for SAT solving ⋮ Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres ⋮ Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem ⋮ SAT competition 2020 ⋮ Scalable SAT solving in the cloud
This page was built for software: PaInleSS
