Software repository
Paper review
Download paper
Software archive
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
@article{Ben-Ari2018,
doi = {10.21105/joss.00639},
url = {https://doi.org/10.21105/joss.00639},
year = {2018},
publisher = {The Open Journal},
volume = {3},
number = {24},
pages = {639},
author = {Mordechai (Moti) Ben-Ari},
title = {LearnSAT: A SAT Solver for Education},
journal = {Journal of Open Source Software}
}
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.
