ALIAS

swMATH25466MaRDI QIDQ37204FDOQ37204

Author name not available (Why is that?)

Described by source

• ALIAS: a modular tool for finding backdoors for SAT

Cited In (2)

• On black-box optimization in divide-and-conquer SAT solving
• Black-box optimization in an extended search space for SAT solving

This page was built for software: ALIAS