Journal on Satisfiability, Boolean Modelling and Computation
Verified by: Episciences . Last modification date:
Scholarly journal
Open Access with open licenses
No fees
Open to all authors
Community-Owned
| Main title language: | English |
| Alternative : | JSAT |
| e-ISSN: | 1574-0617 |
| ISSN: | - |
| Website: | https://jsat.episciences.org/ |
| DOI: | - |
| Publisher name: | SAT Association |
| Publisher country: | Germany |
| Organizations: | - |
| Licenses: | CC-BY (version 4.0, generic) |
| Peer reviewed: | Yes |
| Languages: | English |
| OECD classification: | Natural sciences - Computer and information sciences |
| Keywords: | Applications of SAT Encoding and reformulation Formal Verification Parallel solvers Proof Complexity Pseudo-Boolean Optimization, MaxSAT, MUS extraction and related problems Quantified Boolean Formulas, theoretical or practical aspects SAT, theoretical or practical aspects Satisfiability Modulo Theories, theoretical or practical aspects Solver or tool design |