About
Papers
Docs
Blog
Submit
Log in with ORCID
This Search
Active Papers
Published Papers
JOSS Papers: SAT solving
All Papers
3459
Published Papers
3038
Active Papers
421
published
Published almost 3 years ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Python
@domschrei
10.21105/joss.04591
published
Published about 7 years ago
LearnSAT: A SAT Solver for Education
Prolog
@motib
10.21105/joss.00639
Displaying
2
papers
← Previous
Next →
Table of Contents
Public user content licensed
CC BY 4.0
unless otherwise specified.
ISSN 2475-9066