LearnSAT: A SAT Solver for Education

Prolog Submitted 25 February 2018Published 26 April 2018
Review

Editor: @danielskatz (all papers)
Reviewers: @audemard (all reviews), @biotomas (all reviews)

Authors

Mordechai (Moti) Ben-Ari (0000-0002-2091-5107)

Citation

Ben-Ari, (2018). LearnSAT: A SAT Solver for Education. Journal of Open Source Software, 3(24), 639, https://doi.org/10.21105/joss.00639

Copy citation string · Copy BibTeX  
Tags

SAT solving computer science education

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

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