Matches in SemOpenAlex for { <https://semopenalex.org/work/W1547005447> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1547005447 endingPage "250" @default.
- W1547005447 startingPage "237" @default.
- W1547005447 abstract "In this paper we report about QBFEVAL’10, the seventh in a series of events established with the aim of assessing the advancements in reasoning about quantified Boolean formulas (QBFs). The paper discusses the results obtained and the experimental setup, from the criteria used to select QBF instances to the evaluation infrastructure. We also discuss the current state-of-the-art in light of past challenges and we envision future research directions that are motivated by the results of QBFEVAL’10." @default.
- W1547005447 created "2016-06-24" @default.
- W1547005447 creator A5004587018 @default.
- W1547005447 creator A5022103525 @default.
- W1547005447 creator A5048065628 @default.
- W1547005447 creator A5058622165 @default.
- W1547005447 creator A5067087113 @default.
- W1547005447 creator A5073035961 @default.
- W1547005447 date "2010-01-01" @default.
- W1547005447 modified "2023-10-03" @default.
- W1547005447 title "The Seventh QBF Solvers Evaluation (QBFEVAL’10)" @default.
- W1547005447 cites W1496518193 @default.
- W1547005447 cites W1513754266 @default.
- W1547005447 cites W1529058918 @default.
- W1547005447 cites W1560318357 @default.
- W1547005447 cites W1578728098 @default.
- W1547005447 cites W1607520701 @default.
- W1547005447 cites W2013951121 @default.
- W1547005447 cites W2025137085 @default.
- W1547005447 cites W2036901448 @default.
- W1547005447 cites W2098397367 @default.
- W1547005447 cites W2149441048 @default.
- W1547005447 cites W2161955489 @default.
- W1547005447 cites W3145899849 @default.
- W1547005447 cites W4243058225 @default.
- W1547005447 doi "https://doi.org/10.1007/978-3-642-14186-7_20" @default.
- W1547005447 hasPublicationYear "2010" @default.
- W1547005447 type Work @default.
- W1547005447 sameAs 1547005447 @default.
- W1547005447 citedByCount "27" @default.
- W1547005447 countsByYear W15470054472012 @default.
- W1547005447 countsByYear W15470054472013 @default.
- W1547005447 countsByYear W15470054472014 @default.
- W1547005447 countsByYear W15470054472015 @default.
- W1547005447 countsByYear W15470054472016 @default.
- W1547005447 countsByYear W15470054472018 @default.
- W1547005447 countsByYear W15470054472019 @default.
- W1547005447 crossrefType "book-chapter" @default.
- W1547005447 hasAuthorship W1547005447A5004587018 @default.
- W1547005447 hasAuthorship W1547005447A5022103525 @default.
- W1547005447 hasAuthorship W1547005447A5048065628 @default.
- W1547005447 hasAuthorship W1547005447A5058622165 @default.
- W1547005447 hasAuthorship W1547005447A5067087113 @default.
- W1547005447 hasAuthorship W1547005447A5073035961 @default.
- W1547005447 hasConcept C41008148 @default.
- W1547005447 hasConceptScore W1547005447C41008148 @default.
- W1547005447 hasLocation W15470054471 @default.
- W1547005447 hasOpenAccess W1547005447 @default.
- W1547005447 hasPrimaryLocation W15470054471 @default.
- W1547005447 hasRelatedWork W2093578348 @default.
- W1547005447 hasRelatedWork W2350741829 @default.
- W1547005447 hasRelatedWork W2358668433 @default.
- W1547005447 hasRelatedWork W2376932109 @default.
- W1547005447 hasRelatedWork W2382290278 @default.
- W1547005447 hasRelatedWork W2390279801 @default.
- W1547005447 hasRelatedWork W2748952813 @default.
- W1547005447 hasRelatedWork W2766271392 @default.
- W1547005447 hasRelatedWork W2899084033 @default.
- W1547005447 hasRelatedWork W3004735627 @default.
- W1547005447 isParatext "false" @default.
- W1547005447 isRetracted "false" @default.
- W1547005447 magId "1547005447" @default.
- W1547005447 workType "book-chapter" @default.