antom

swMATH11457MaRDI QIDQ23399FDOQ23399

Author name not available (Why is that?)

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

Cited In (19)

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

This page was built for software: antom