Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300638632> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4300638632 abstract "The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance. One of the central problems is the computation of good explanations of the unsatisfiability of such sets, i.e. obtaining a small subset of the input constraints whose conjunction is already unsatisfiable. We adapt two commonly used real quantifier elimination methods, cylindrical algebraic decomposition and virtual substitution, to provide such conflict sets and demonstrate the performance of our method in practice." @default.
- W4300638632 created "2022-10-03" @default.
- W4300638632 creator A5038902384 @default.
- W4300638632 creator A5060799584 @default.
- W4300638632 creator A5077993917 @default.
- W4300638632 date "2015-11-03" @default.
- W4300638632 modified "2023-10-06" @default.
- W4300638632 title "Adapting Real Quantifier Elimination Methods for Conflict Set Computation" @default.
- W4300638632 doi "https://doi.org/10.48550/arxiv.1511.01123" @default.
- W4300638632 hasPublicationYear "2015" @default.
- W4300638632 type Work @default.
- W4300638632 citedByCount "0" @default.
- W4300638632 crossrefType "posted-content" @default.
- W4300638632 hasAuthorship W4300638632A5038902384 @default.
- W4300638632 hasAuthorship W4300638632A5060799584 @default.
- W4300638632 hasAuthorship W4300638632A5077993917 @default.
- W4300638632 hasBestOaLocation W43006386321 @default.
- W4300638632 hasConcept C11413529 @default.
- W4300638632 hasConcept C118615104 @default.
- W4300638632 hasConcept C134306372 @default.
- W4300638632 hasConcept C151730666 @default.
- W4300638632 hasConcept C153269930 @default.
- W4300638632 hasConcept C154945302 @default.
- W4300638632 hasConcept C164155591 @default.
- W4300638632 hasConcept C168773769 @default.
- W4300638632 hasConcept C177264268 @default.
- W4300638632 hasConcept C199360897 @default.
- W4300638632 hasConcept C2778220771 @default.
- W4300638632 hasConcept C2778523021 @default.
- W4300638632 hasConcept C2779343474 @default.
- W4300638632 hasConcept C32278780 @default.
- W4300638632 hasConcept C33923547 @default.
- W4300638632 hasConcept C41008148 @default.
- W4300638632 hasConcept C45374587 @default.
- W4300638632 hasConcept C54732982 @default.
- W4300638632 hasConcept C80444323 @default.
- W4300638632 hasConcept C86803240 @default.
- W4300638632 hasConcept C90119067 @default.
- W4300638632 hasConcept C9376300 @default.
- W4300638632 hasConceptScore W4300638632C11413529 @default.
- W4300638632 hasConceptScore W4300638632C118615104 @default.
- W4300638632 hasConceptScore W4300638632C134306372 @default.
- W4300638632 hasConceptScore W4300638632C151730666 @default.
- W4300638632 hasConceptScore W4300638632C153269930 @default.
- W4300638632 hasConceptScore W4300638632C154945302 @default.
- W4300638632 hasConceptScore W4300638632C164155591 @default.
- W4300638632 hasConceptScore W4300638632C168773769 @default.
- W4300638632 hasConceptScore W4300638632C177264268 @default.
- W4300638632 hasConceptScore W4300638632C199360897 @default.
- W4300638632 hasConceptScore W4300638632C2778220771 @default.
- W4300638632 hasConceptScore W4300638632C2778523021 @default.
- W4300638632 hasConceptScore W4300638632C2779343474 @default.
- W4300638632 hasConceptScore W4300638632C32278780 @default.
- W4300638632 hasConceptScore W4300638632C33923547 @default.
- W4300638632 hasConceptScore W4300638632C41008148 @default.
- W4300638632 hasConceptScore W4300638632C45374587 @default.
- W4300638632 hasConceptScore W4300638632C54732982 @default.
- W4300638632 hasConceptScore W4300638632C80444323 @default.
- W4300638632 hasConceptScore W4300638632C86803240 @default.
- W4300638632 hasConceptScore W4300638632C90119067 @default.
- W4300638632 hasConceptScore W4300638632C9376300 @default.
- W4300638632 hasLocation W43006386321 @default.
- W4300638632 hasLocation W43006386322 @default.
- W4300638632 hasLocation W43006386323 @default.
- W4300638632 hasLocation W43006386324 @default.
- W4300638632 hasOpenAccess W4300638632 @default.
- W4300638632 hasPrimaryLocation W43006386321 @default.
- W4300638632 hasRelatedWork W2170779139 @default.
- W4300638632 hasRelatedWork W2294297515 @default.
- W4300638632 hasRelatedWork W2324712051 @default.
- W4300638632 hasRelatedWork W2400855043 @default.
- W4300638632 hasRelatedWork W2578463151 @default.
- W4300638632 hasRelatedWork W2600774173 @default.
- W4300638632 hasRelatedWork W3012938552 @default.
- W4300638632 hasRelatedWork W3093966545 @default.
- W4300638632 hasRelatedWork W4214737172 @default.
- W4300638632 hasRelatedWork W4290930689 @default.
- W4300638632 isParatext "false" @default.
- W4300638632 isRetracted "false" @default.
- W4300638632 workType "article" @default.