Journal on Satisfiability, Boolean Modeling and Computation
Journal Information
| Journal | Journal on Satisfiability, Boolean Modeling and Computation |
| EasyChair page: | https://easychair.org/journal/JSAT |
| ISSN: | 1574-0617 |
| Web page: | http://jsatjournal.org/ |
| Owner: | SAT Association |
| Chief editors: | Daniel Le Berre (Université d'Artois, CNRS) Luca Pulina (University of Sassari) Martina Seidl (Johannes Kepler University Linz) |
Login Required
You are not logged in to EasyChair. To submit to this journal or use it as au author or an editor, you should log in first.