fatcat! About Guide Changelog
Login/Signup

Journal on Satisfiability, Boolean Modeling and Computation container_3g435pzztvglji5oqf5am3q6ni

Technische Universiteit Delft

Homepage URLs

https://www.iospress.nl/

Example Publications

Qute in the QBF Evaluation 2018

Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider, Martina Seidl, Luca Pulina
2019 | Journal on Satisfiability, Boolean Modeling and Computation
doi:10.3233/sat190124  

SAT Competition 2018

Marijn J. H. Heule, Matti Järvisalo, Martin Suda, Martina Seidl, Luca Pulina
2019 | Journal on Satisfiability, Boolean Modeling and Computation
doi:10.3233/sat190120  
127
Known Releases
Open Access Publication
Preservation Summary [more]
120 preserved and accessble (bright)
7 preserved, inaccessible (dark)
0 no known preservation
Release Types
article-journal 127
Publication Type  journal
Country Code  nl
ISSN-L?  1574-0617
    Print:  1875-5011
    Electronic:  1574-0617
Wikidata  Q15763842
Directory Listings
Not in DOAJ
In ISSN ROAD
In Szczepanski List
Lookup Links
ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Catalog Record
Revision: bcb63c85-cea3-4da7-9b6a-63c79c7a9a49
API URL: JSON
Edit Metadata View History