antom

swMATH11457MaRDI QIDQ23399FDOQ23399

Author name not available (Why is that?)

Cited In (5)

• DQBDD: an efficient BDD-based DQBF solver
• On conversions from CNF to ANF
• Laissez-Faire Caching for Parallel #SAT Solving
• An overview of parallel SAT solving
• 3BA: a border bases solver with a SAT extension

This page was built for software: antom