Overview and Analysis of the SAT Challenge 2012 Solver Competition
Year of publication
2015
Authors
Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten
Organizations and authors
University of Helsinki
Järvisalo Matti
Publication type
Publication format
Article
Parent publication type
Journal
Article type
Original article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A1 Journal article (refereed), original researchPublication channel information
Journal
Artificial Intelligence
Parent publication name
Volume
223
Pages
120-155
ISSN
Open access
Open access in the publisher’s service
No information
Self-archived
Unknown
Other information
Fields of science
Computer and information sciences
Publication country
Netherlands
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
Unknown
DOI
10.1016/j.artint.2015.01.002
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes