JOSS Papers: SAT solving

All Papers
4112
 Published Papers
3747
 Active Papers
365
published Published about 4 years ago

Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling

Python
@domschrei
10.21105/joss.04591
published Published over 8 years ago

LearnSAT: A SAT Solver for Education

Prolog
@motib
10.21105/joss.00639
Displaying 2 papers

Journal of Open Source Software is an affiliate of the Open Source Initiative.

Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066