About
Papers
Docs
Blog
Submit
Log in with ORCID
This Search
Active Papers
Published Papers
JOSS Papers: SAT solving
All Papers
3125
Published Papers
2792
Active Papers
333
published
Published over 2 years ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Python
@domschrei
10.21105/joss.04591
published
Published over 6 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