abcdSAT

swMATH25467MaRDI QIDQ37205FDOQ37205

Author name not available (Why is that?)

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

Cited In (4)

• Extreme cases in SAT problems
• SAT race 2015
• cnf2aig
• ALIAS: a modular tool for finding backdoors for SAT

This page was built for software: abcdSAT