Open AccessQute in the QBF Evaluation 2018
Author(s) -
Tomáš Peitl,
Friedrich Slivovsky,
Stefan Szeider
Publication year - 2019
Publication title -
journal on satisfiability boolean modeling and computation
Language(s) - English
Resource type - Journals
eISSN - 1875-5011
pISSN - 1574-0617
DOI - 10.3233/sat190124
Subject(s) - constraint (computer aided design) , dependency (uml) , solver , computer science , feature (linguistics) , variable (mathematics) , artificial intelligence , theoretical computer science , mathematics , programming language , mathematical analysis , linguistics , philosophy , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom