countAntom

MaRDI QIDQ55824swMATHFDO

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

Described by source

• Laissez-faire caching for parallel \#SAT solving

Cited in

(7)

• GANAK
• dynASP
• sharpSAT
• htd
• Hailfinder
• Dsharp
• scientific article; zbMATH DE number 7378698 (Why is no real title available?)

This page was built for software: countAntom