Journal on Satisfiability, Boolean Modelling and Computation
Zweryfikowane przez: Episciences . Data ostatniej modyfikacji:
Czasopismo naukowe
Otwarty dostęp z otwartymi licencjami
Bez opłat
Otwarte dla wszystkich autorów
W posiadaniu społeczności
| Język głównego tytułu: | Angielski |
| Alternatywny : | JSAT |
| e-ISSN: | 1574-0617 |
| ISSN: | - |
| Adres strony internetowej: | https://jsat.episciences.org/ |
| DOI: | - |
| Nazwa wydawnictwa: | SAT Association |
| Kraj wydawnictwa: | Niemcy |
| Organizacje: | - |
| Licencje: | CC-BY (wersja 4.0, generyczna) |
| Recenzowane: | Tak |
| Języki: | Angielski |
| Klasyfikacja OECD: | Natural sciences - Computer and information sciences |
| Słowa kluczowe: | 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 |