Matches in SemOpenAlex for { <https://semopenalex.org/work/W2994801699> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2994801699 endingPage "220" @default.
- W2994801699 startingPage "211" @default.
- W2994801699 abstract "DepQBF is a search-based quantified Boolean formula (QBF) solver implementing the QCDCL paradigm. We submitted DepQBF as part of several tool packages to the QBFEVAL’18 competition, which was part of the FLoC Olympic Games 2018. These packages integr" @default.
- W2994801699 created "2019-12-26" @default.
- W2994801699 creator A5040670461 @default.
- W2994801699 date "2019-09-01" @default.
- W2994801699 modified "2023-09-29" @default.
- W2994801699 title "QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving" @default.
- W2994801699 doi "https://doi.org/10.3233/sat190122" @default.
- W2994801699 hasPublicationYear "2019" @default.
- W2994801699 type Work @default.
- W2994801699 sameAs 2994801699 @default.
- W2994801699 citedByCount "1" @default.
- W2994801699 countsByYear W29948016992022 @default.
- W2994801699 crossrefType "journal-article" @default.
- W2994801699 hasAuthorship W2994801699A5040670461 @default.
- W2994801699 hasBestOaLocation W29948016991 @default.
- W2994801699 hasConcept C154945302 @default.
- W2994801699 hasConcept C34736171 @default.
- W2994801699 hasConcept C41008148 @default.
- W2994801699 hasConceptScore W2994801699C154945302 @default.
- W2994801699 hasConceptScore W2994801699C34736171 @default.
- W2994801699 hasConceptScore W2994801699C41008148 @default.
- W2994801699 hasIssue "1" @default.
- W2994801699 hasLocation W29948016991 @default.
- W2994801699 hasOpenAccess W2994801699 @default.
- W2994801699 hasPrimaryLocation W29948016991 @default.
- W2994801699 hasRelatedWork W143701725 @default.
- W2994801699 hasRelatedWork W1515828819 @default.
- W2994801699 hasRelatedWork W1807142225 @default.
- W2994801699 hasRelatedWork W185791078 @default.
- W2994801699 hasRelatedWork W2028969099 @default.
- W2994801699 hasRelatedWork W2099101936 @default.
- W2994801699 hasRelatedWork W2121072219 @default.
- W2994801699 hasRelatedWork W2294843272 @default.
- W2994801699 hasRelatedWork W2309239751 @default.
- W2994801699 hasRelatedWork W2398541991 @default.
- W2994801699 hasRelatedWork W2401613005 @default.
- W2994801699 hasRelatedWork W2479160848 @default.
- W2994801699 hasRelatedWork W2549265330 @default.
- W2994801699 hasRelatedWork W288696217 @default.
- W2994801699 hasRelatedWork W2914871854 @default.
- W2994801699 hasRelatedWork W2953091379 @default.
- W2994801699 hasRelatedWork W3099535388 @default.
- W2994801699 hasRelatedWork W3143411836 @default.
- W2994801699 hasRelatedWork W40396644 @default.
- W2994801699 hasRelatedWork W43127372 @default.
- W2994801699 hasVolume "11" @default.
- W2994801699 isParatext "false" @default.
- W2994801699 isRetracted "false" @default.
- W2994801699 magId "2994801699" @default.
- W2994801699 workType "article" @default.