antom

MaRDI QIDQ23399swMATHFDO

Official website https://projects.informatik.uni-freiburg.de/projects/antom

Cited in

(19)

• Laissez-faire caching for parallel \#SAT solving
• DQBDD: an efficient BDD-based DQBF solver
• On conversions from CNF to ANF
• ApCoCoA
• PaQuBE
• NAGSAT
• Picoso
• PMiniSAT
• PMSat
• GBLA
• 3BA
• LELA
• HQSpre
• countAntom
• PaMira
• An overview of parallel SAT solving
• Q3B
• 3BA: a border bases solver with a SAT extension
• dCAQE

This page was built for software: antom