Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378191821> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4378191821 abstract "We outline some preliminary ideas on a guided theory assignment of variables in a real (QF_NRA) satisfiability problem. One objective of this approach is to mix the topdown approach of cylindric algebraic decomposition and the bottom-up approach of partial theory assignments of modern SAT/SMT solvers. We use equational constraints and a single strict inequality at a time to artificially create conflicting variable assignment traces, which can later be used in conflict resolution to enrich the constraints of the original satisfiability problem." @default.
- W4378191821 created "2023-05-26" @default.
- W4378191821 creator A5043054372 @default.
- W4378191821 creator A5059647173 @default.
- W4378191821 date "2022-09-01" @default.
- W4378191821 modified "2023-09-25" @default.
- W4378191821 title "Artificial Conflict Sampling for Real Satisfiability Problems" @default.
- W4378191821 cites W1553142094 @default.
- W4378191821 cites W2011495999 @default.
- W4378191821 cites W2016056788 @default.
- W4378191821 cites W2963334000 @default.
- W4378191821 cites W3101568060 @default.
- W4378191821 cites W4206026258 @default.
- W4378191821 doi "https://doi.org/10.1109/synasc57785.2022.00018" @default.
- W4378191821 hasPublicationYear "2022" @default.
- W4378191821 type Work @default.
- W4378191821 citedByCount "0" @default.
- W4378191821 crossrefType "proceedings-article" @default.
- W4378191821 hasAuthorship W4378191821A5043054372 @default.
- W4378191821 hasAuthorship W4378191821A5059647173 @default.
- W4378191821 hasConcept C11413529 @default.
- W4378191821 hasConcept C124681953 @default.
- W4378191821 hasConcept C126255220 @default.
- W4378191821 hasConcept C134306372 @default.
- W4378191821 hasConcept C138232368 @default.
- W4378191821 hasConcept C138268822 @default.
- W4378191821 hasConcept C168773769 @default.
- W4378191821 hasConcept C17744445 @default.
- W4378191821 hasConcept C182365436 @default.
- W4378191821 hasConcept C18903297 @default.
- W4378191821 hasConcept C199360897 @default.
- W4378191821 hasConcept C199539241 @default.
- W4378191821 hasConcept C21711469 @default.
- W4378191821 hasConcept C33923547 @default.
- W4378191821 hasConcept C41008148 @default.
- W4378191821 hasConcept C6943359 @default.
- W4378191821 hasConcept C80444323 @default.
- W4378191821 hasConcept C86803240 @default.
- W4378191821 hasConcept C9376300 @default.
- W4378191821 hasConceptScore W4378191821C11413529 @default.
- W4378191821 hasConceptScore W4378191821C124681953 @default.
- W4378191821 hasConceptScore W4378191821C126255220 @default.
- W4378191821 hasConceptScore W4378191821C134306372 @default.
- W4378191821 hasConceptScore W4378191821C138232368 @default.
- W4378191821 hasConceptScore W4378191821C138268822 @default.
- W4378191821 hasConceptScore W4378191821C168773769 @default.
- W4378191821 hasConceptScore W4378191821C17744445 @default.
- W4378191821 hasConceptScore W4378191821C182365436 @default.
- W4378191821 hasConceptScore W4378191821C18903297 @default.
- W4378191821 hasConceptScore W4378191821C199360897 @default.
- W4378191821 hasConceptScore W4378191821C199539241 @default.
- W4378191821 hasConceptScore W4378191821C21711469 @default.
- W4378191821 hasConceptScore W4378191821C33923547 @default.
- W4378191821 hasConceptScore W4378191821C41008148 @default.
- W4378191821 hasConceptScore W4378191821C6943359 @default.
- W4378191821 hasConceptScore W4378191821C80444323 @default.
- W4378191821 hasConceptScore W4378191821C86803240 @default.
- W4378191821 hasConceptScore W4378191821C9376300 @default.
- W4378191821 hasLocation W43781918211 @default.
- W4378191821 hasOpenAccess W4378191821 @default.
- W4378191821 hasPrimaryLocation W43781918211 @default.
- W4378191821 hasRelatedWork W1512688756 @default.
- W4378191821 hasRelatedWork W1534168994 @default.
- W4378191821 hasRelatedWork W1535592365 @default.
- W4378191821 hasRelatedWork W2003979824 @default.
- W4378191821 hasRelatedWork W2182780934 @default.
- W4378191821 hasRelatedWork W2215774152 @default.
- W4378191821 hasRelatedWork W3097893064 @default.
- W4378191821 hasRelatedWork W3160516719 @default.
- W4378191821 hasRelatedWork W4302504010 @default.
- W4378191821 hasRelatedWork W4313407580 @default.
- W4378191821 isParatext "false" @default.
- W4378191821 isRetracted "false" @default.
- W4378191821 workType "article" @default.