Journal on satisfiability, Boolean modeling and computation

Print
JSAT
Delft : Technische Universiteit Delft ;
Netherlands
Europe and North America
2008
current
bimonthly
periodical
English
computer remote
Journal on satisfiability, Boolean modeling and computation (Print) [ISSN 1875-5011]
Netherlands
2010-10-23
If you wish to provide an update or suggest a correction, please send us a message.
Note: the ISSN identifies serials and other continuing resources: journals, being scholarly or not, but also newspapers, magazines, annual reports, monographic series, websites and databases... Like the other ISO identifiers, the ISSN does not provide any guarantee as to the content of the resources identified, or any evaluation of their content, and does not provide evidence of their validity
1574-0617
1574-0617
Journal on satisfiability, Boolean modeling and computation (Online)
2010-10-19
Journals