FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2346343951> ?p ?o ?g. }

• W2346343951 abstract "The QBFGallery 2014 was a competitive evaluation for QBF solvers organized in the context of the FLoC 2014 Olympic Games of the Vienna Summer of Logic. Quantified Boolean formulas (QBF) extend formulas of propositional logic by existential and universal quantifiers over the propositional variables and, thus, lift the satisfiablity problem from NP to PSPACE. In consequence, there are many application problems from fields like verification, synthesis, and planning that can be encoded efficiently in QBF. This  motivates the quest for efficient QBF solvers. The QBFGallery 2014 invited the developers of QBF solvers to submit their tools to a competitive evaluation in a uniform environment. Gold, silver, and bronze track medals were awarded to the solvers that solved the most formulas in each of three different tracks covering various kinds of benchmarks. Additionally, the three participants that were most successful overall were decorated with Kurt G odel medals, the official prizes of the  Olympic Games. In this paper, we give an overview of the setup of the competition, we briefly review the participating solvers, and finally report on the results of the QBFGallery 2014." @default.
• W2346343951 created "2016-06-24" @default.
• W2346343951 creator A5031432252 @default.
• W2346343951 creator A5040670461 @default.
• W2346343951 creator A5042183912 @default.
• W2346343951 creator A5072016376 @default.
• W2346343951 creator A5083748570 @default.
• W2346343951 creator A5088373689 @default.
• W2346343951 date "2016-01-01" @default.
• W2346343951 modified "2023-09-28" @default.
• W2346343951 title "QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games" @default.
• W2346343951 cites W123368295 @default.
• W2346343951 cites W129935311 @default.
• W2346343951 cites W147950966 @default.
• W2346343951 cites W1488842140 @default.
• W2346343951 cites W1495288201 @default.
• W2346343951 cites W1503377936 @default.
• W2346343951 cites W1518705996 @default.
• W2346343951 cites W1553278548 @default.
• W2346343951 cites W1561543482 @default.
• W2346343951 cites W1562832747 @default.
• W2346343951 cites W1608616693 @default.
• W2346343951 cites W1649706165 @default.
• W2346343951 cites W1778004173 @default.
• W2346343951 cites W178358665 @default.
• W2346343951 cites W1976876676 @default.
• W2346343951 cites W2005573219 @default.
• W2346343951 cites W2039585983 @default.
• W2346343951 cites W2077655685 @default.
• W2346343951 cites W2110020743 @default.
• W2346343951 cites W2130935769 @default.
• W2346343951 cites W2149441048 @default.
• W2346343951 cites W2160972885 @default.
• W2346343951 cites W2189084874 @default.
• W2346343951 cites W2194993457 @default.
• W2346343951 cites W2285269242 @default.
• W2346343951 cites W2937007932 @default.
• W2346343951 cites W54881092 @default.
• W2346343951 cites W66855977 @default.
• W2346343951 cites W767994280 @default.
• W2346343951 cites W81859766 @default.
• W2346343951 cites W97233022 @default.
• W2346343951 cites W99602494 @default.
• W2346343951 doi "https://doi.org/10.3233/sat190108" @default.
• W2346343951 hasPublicationYear "2016" @default.
• W2346343951 type Work @default.
• W2346343951 sameAs 2346343951 @default.
• W2346343951 citedByCount "6" @default.
• W2346343951 countsByYear W23463439512016 @default.
• W2346343951 countsByYear W23463439512019 @default.
• W2346343951 crossrefType "journal-article" @default.
• W2346343951 hasAuthorship W2346343951A5031432252 @default.
• W2346343951 hasAuthorship W2346343951A5040670461 @default.
• W2346343951 hasAuthorship W2346343951A5042183912 @default.
• W2346343951 hasAuthorship W2346343951A5072016376 @default.
• W2346343951 hasAuthorship W2346343951A5083748570 @default.
• W2346343951 hasAuthorship W2346343951A5088373689 @default.
• W2346343951 hasBestOaLocation W23463439511 @default.
• W2346343951 hasConcept C11413529 @default.
• W2346343951 hasConcept C124101348 @default.
• W2346343951 hasConcept C139002025 @default.
• W2346343951 hasConcept C151730666 @default.
• W2346343951 hasConcept C179799912 @default.
• W2346343951 hasConcept C18903297 @default.
• W2346343951 hasConcept C197685441 @default.
• W2346343951 hasConcept C199360897 @default.
• W2346343951 hasConcept C200415742 @default.
• W2346343951 hasConcept C2779343474 @default.
• W2346343951 hasConcept C33923547 @default.
• W2346343951 hasConcept C41008148 @default.
• W2346343951 hasConcept C69562738 @default.
• W2346343951 hasConcept C80444323 @default.
• W2346343951 hasConcept C86803240 @default.
• W2346343951 hasConcept C91306197 @default.
• W2346343951 hasConceptScore W2346343951C11413529 @default.
• W2346343951 hasConceptScore W2346343951C124101348 @default.
• W2346343951 hasConceptScore W2346343951C139002025 @default.
• W2346343951 hasConceptScore W2346343951C151730666 @default.
• W2346343951 hasConceptScore W2346343951C179799912 @default.
• W2346343951 hasConceptScore W2346343951C18903297 @default.
• W2346343951 hasConceptScore W2346343951C197685441 @default.
• W2346343951 hasConceptScore W2346343951C199360897 @default.
• W2346343951 hasConceptScore W2346343951C200415742 @default.
• W2346343951 hasConceptScore W2346343951C2779343474 @default.
• W2346343951 hasConceptScore W2346343951C33923547 @default.
• W2346343951 hasConceptScore W2346343951C41008148 @default.
• W2346343951 hasConceptScore W2346343951C69562738 @default.
• W2346343951 hasConceptScore W2346343951C80444323 @default.
• W2346343951 hasConceptScore W2346343951C86803240 @default.
• W2346343951 hasConceptScore W2346343951C91306197 @default.
• W2346343951 hasLocation W23463439511 @default.
• W2346343951 hasOpenAccess W2346343951 @default.
• W2346343951 hasPrimaryLocation W23463439511 @default.
• W2346343951 hasRelatedWork W119782953 @default.
• W2346343951 hasRelatedWork W143701725 @default.
• W2346343951 hasRelatedWork W1488842140 @default.
• W2346343951 hasRelatedWork W1553278548 @default.
• W2346343951 hasRelatedWork W1562832747 @default.
• W2346343951 hasRelatedWork W1916519491 @default.
• W2346343951 hasRelatedWork W2149441048 @default.

• next