ALIAS

MaRDI QIDQ37204swMATHFDO

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