PaInleSS
From MaRDI portal
Software:33766
swMATH21967MaRDI QIDQ33766FDOQ33766
Author name not available (Why is that?)
Cited In (8)
- Reproducible efficient parallel SAT solving
- Community and LBD-based clause sharing policy for parallel SAT solving
- Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
- Scalable SAT solving in the cloud
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem
- Black-box optimization in an extended search space for SAT solving
- ALIAS: a modular tool for finding backdoors for SAT
- SAT competition 2020
This page was built for software: PaInleSS
