ALIAS

swMATH25466MaRDI QIDQ37204FDOQ37204

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-94144-8_25

Described by source

• ALIAS: a modular tool for finding backdoors for SAT

Cited In (7)

• On black-box optimization in divide-and-conquer SAT solving
• CryptLogVer
• PaInleSS
• abcdSAT
• CryptoSAT
• CnC
• Black-box optimization in an extended search space for SAT solving

This page was built for software: ALIAS