Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401613005> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2401613005 abstract "We consider the incremental computation of minimal unsatisfiable cores (MUCs) of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a novel API to allow for incremental solving based on clause groups. A clause group is a set of clauses which is incrementally added to or removed from a previously solved QBF. Our implementation of the novel API is related to incremental SAT solving based on selector variables and assumptions. However, the API entirely hides selector variables and assumptions from the user, which facilitates the integration of DepQBF in other tools. We present implementation details and, for the first time, report on experiments related to the computation of MUCs of QBFs using DepQBF's novel clause group API." @default.
- W2401613005 created "2016-06-24" @default.
- W2401613005 creator A5040670461 @default.
- W2401613005 creator A5065693180 @default.
- W2401613005 date "2015-02-09" @default.
- W2401613005 modified "2023-09-27" @default.
- W2401613005 title "DepQBF: An Incremental QBF Solver Based on Clause Groups." @default.
- W2401613005 hasPublicationYear "2015" @default.
- W2401613005 type Work @default.
- W2401613005 sameAs 2401613005 @default.
- W2401613005 citedByCount "0" @default.
- W2401613005 crossrefType "posted-content" @default.
- W2401613005 hasAuthorship W2401613005A5040670461 @default.
- W2401613005 hasAuthorship W2401613005A5065693180 @default.
- W2401613005 hasConcept C11413529 @default.
- W2401613005 hasConcept C177264268 @default.
- W2401613005 hasConcept C178790620 @default.
- W2401613005 hasConcept C185592680 @default.
- W2401613005 hasConcept C199360897 @default.
- W2401613005 hasConcept C2778770139 @default.
- W2401613005 hasConcept C2781311116 @default.
- W2401613005 hasConcept C41008148 @default.
- W2401613005 hasConcept C45374587 @default.
- W2401613005 hasConceptScore W2401613005C11413529 @default.
- W2401613005 hasConceptScore W2401613005C177264268 @default.
- W2401613005 hasConceptScore W2401613005C178790620 @default.
- W2401613005 hasConceptScore W2401613005C185592680 @default.
- W2401613005 hasConceptScore W2401613005C199360897 @default.
- W2401613005 hasConceptScore W2401613005C2778770139 @default.
- W2401613005 hasConceptScore W2401613005C2781311116 @default.
- W2401613005 hasConceptScore W2401613005C41008148 @default.
- W2401613005 hasConceptScore W2401613005C45374587 @default.
- W2401613005 hasLocation W24016130051 @default.
- W2401613005 hasOpenAccess W2401613005 @default.
- W2401613005 hasPrimaryLocation W24016130051 @default.
- W2401613005 hasRelatedWork W134175813 @default.
- W2401613005 hasRelatedWork W1511069520 @default.
- W2401613005 hasRelatedWork W1515828819 @default.
- W2401613005 hasRelatedWork W1807142225 @default.
- W2401613005 hasRelatedWork W185791078 @default.
- W2401613005 hasRelatedWork W2028969099 @default.
- W2401613005 hasRelatedWork W2065829732 @default.
- W2401613005 hasRelatedWork W2091617677 @default.
- W2401613005 hasRelatedWork W2127087219 @default.
- W2401613005 hasRelatedWork W2294843272 @default.
- W2401613005 hasRelatedWork W2309239751 @default.
- W2401613005 hasRelatedWork W2403478642 @default.
- W2401613005 hasRelatedWork W2600514308 @default.
- W2401613005 hasRelatedWork W2785704151 @default.
- W2401613005 hasRelatedWork W288696217 @default.
- W2401613005 hasRelatedWork W3099535388 @default.
- W2401613005 hasRelatedWork W40396644 @default.
- W2401613005 hasRelatedWork W54881092 @default.
- W2401613005 hasRelatedWork W746264266 @default.
- W2401613005 hasRelatedWork W2166776175 @default.
- W2401613005 isParatext "false" @default.
- W2401613005 isRetracted "false" @default.
- W2401613005 magId "2401613005" @default.
- W2401613005 workType "article" @default.