Mikoláš Janota

Senior Researcher at CTU Prague.

• 🌐 University profile
• 📝 Blog
• 🧮 just_count docs — a SAT-based (projected) model counter