JSAT rebooted with a new EasyChair journal management system
The Journal on Satisfiability, Boolean Modeling and Computation (JSAT), the open access journal of the SAT association, is now accepting submissions using its new easychair-based journal management system.