tag:joss.theoj.org,2005:/papers/reviewed_by/@audemardJournal of Open Source Software2018-04-26T16:35:12ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/4202018-04-26T16:35:12Z2021-02-15T11:33:36ZLearnSAT: A SAT Solver for EducationacceptedV2.02018-02-25 08:50:41 UTC242018-04-26 16:35:12 UTC32018639Mordechai(Moti)Ben-AriWeizmann Institute of Science0000-0002-2091-510710.21105/joss.00639https://doi.org/10.5281/zenodo.1230536Prologhttps://joss.theoj.org/papers/10.21105/joss.00639.pdfSAT solving, computer science education