The following pages link to PaInleSS (Q33766):
Displaying 8 items.
- ALIAS: a modular tool for finding backdoors for SAT (Q1656599) (← links)
- SAT competition 2020 (Q2060693) (← links)
- Scalable SAT solving in the cloud (Q2118345) (← links)
- Black-box optimization in an extended search space for SAT solving (Q2181777) (← links)
- Community and LBD-based clause sharing policy for parallel SAT solving (Q2661331) (← links)
- Reproducible efficient parallel SAT solving (Q2661341) (← links)
- Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres (Q2675865) (← links)
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126) (← links)