کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6853096 658311 2016 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The QBF Gallery: Behind the scenes
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
The QBF Gallery: Behind the scenes
چکیده انگلیسی
To capture these developments the QBF Gallery was established in 2013. The QBF Gallery aims at providing a forum to assess QBF tools and to collect new, expressive benchmarks that allow for documenting the status quo and that indicate promising research directions. These benchmarks became the basis for the experiments conducted in the context of the QBF Gallery 2013 and follow-up evaluations. In this paper, we report on the setup of the QBF Gallery. To this end, we conducted numerous experiments which allowed us not only to assess the quality of the tools, but also the quality of the benchmarks.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 237, August 2016, Pages 92-114
نویسندگان
, , ,