Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102836717> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2102836717 endingPage "1524" @default.
- W2102836717 startingPage "1523" @default.
- W2102836717 abstract "We introduce a new NP-complete problem asking if a hypercube is (not) covered by a set of other evidence hypercubes. This comes down to a form of constraint reasoning asking for the satisfiability of a CNF formula where the logical atoms are inequalities over single variables, with possibly infinite variable domains. We empirically investigate the location of the phase transition regions in two random distributions of problem instances. We introduce a solution method that iteratively constructs a representation of the non-covered part of the query cube. In particular, the method is not based on backtracking. Our experiments show that the method is, in a significant range of instances, superior to the backtracking method that results from translation to SAT, and application of a state-of-the-art DP-based SAT solver." @default.
- W2102836717 created "2016-06-24" @default.
- W2102836717 creator A5076532681 @default.
- W2102836717 creator A5088003643 @default.
- W2102836717 date "2005-07-30" @default.
- W2102836717 modified "2023-09-23" @default.
- W2102836717 title "A covering problem for hypercubes" @default.
- W2102836717 cites W1982333717 @default.
- W2102836717 cites W2129591386 @default.
- W2102836717 cites W2142785340 @default.
- W2102836717 cites W4983232 @default.
- W2102836717 hasPublicationYear "2005" @default.
- W2102836717 type Work @default.
- W2102836717 sameAs 2102836717 @default.
- W2102836717 citedByCount "1" @default.
- W2102836717 countsByYear W21028367172021 @default.
- W2102836717 crossrefType "proceedings-article" @default.
- W2102836717 hasAuthorship W2102836717A5076532681 @default.
- W2102836717 hasAuthorship W2102836717A5088003643 @default.
- W2102836717 hasConcept C111797529 @default.
- W2102836717 hasConcept C11413529 @default.
- W2102836717 hasConcept C118615104 @default.
- W2102836717 hasConcept C154945302 @default.
- W2102836717 hasConcept C156884757 @default.
- W2102836717 hasConcept C159985019 @default.
- W2102836717 hasConcept C168773769 @default.
- W2102836717 hasConcept C177264268 @default.
- W2102836717 hasConcept C17744445 @default.
- W2102836717 hasConcept C187455244 @default.
- W2102836717 hasConcept C192562407 @default.
- W2102836717 hasConcept C199360897 @default.
- W2102836717 hasConcept C199539241 @default.
- W2102836717 hasConcept C199622910 @default.
- W2102836717 hasConcept C204323151 @default.
- W2102836717 hasConcept C2524010 @default.
- W2102836717 hasConcept C2776036281 @default.
- W2102836717 hasConcept C2776359362 @default.
- W2102836717 hasConcept C2778770139 @default.
- W2102836717 hasConcept C33923547 @default.
- W2102836717 hasConcept C41008148 @default.
- W2102836717 hasConcept C49937458 @default.
- W2102836717 hasConcept C50820777 @default.
- W2102836717 hasConcept C6943359 @default.
- W2102836717 hasConcept C80444323 @default.
- W2102836717 hasConcept C94625758 @default.
- W2102836717 hasConceptScore W2102836717C111797529 @default.
- W2102836717 hasConceptScore W2102836717C11413529 @default.
- W2102836717 hasConceptScore W2102836717C118615104 @default.
- W2102836717 hasConceptScore W2102836717C154945302 @default.
- W2102836717 hasConceptScore W2102836717C156884757 @default.
- W2102836717 hasConceptScore W2102836717C159985019 @default.
- W2102836717 hasConceptScore W2102836717C168773769 @default.
- W2102836717 hasConceptScore W2102836717C177264268 @default.
- W2102836717 hasConceptScore W2102836717C17744445 @default.
- W2102836717 hasConceptScore W2102836717C187455244 @default.
- W2102836717 hasConceptScore W2102836717C192562407 @default.
- W2102836717 hasConceptScore W2102836717C199360897 @default.
- W2102836717 hasConceptScore W2102836717C199539241 @default.
- W2102836717 hasConceptScore W2102836717C199622910 @default.
- W2102836717 hasConceptScore W2102836717C204323151 @default.
- W2102836717 hasConceptScore W2102836717C2524010 @default.
- W2102836717 hasConceptScore W2102836717C2776036281 @default.
- W2102836717 hasConceptScore W2102836717C2776359362 @default.
- W2102836717 hasConceptScore W2102836717C2778770139 @default.
- W2102836717 hasConceptScore W2102836717C33923547 @default.
- W2102836717 hasConceptScore W2102836717C41008148 @default.
- W2102836717 hasConceptScore W2102836717C49937458 @default.
- W2102836717 hasConceptScore W2102836717C50820777 @default.
- W2102836717 hasConceptScore W2102836717C6943359 @default.
- W2102836717 hasConceptScore W2102836717C80444323 @default.
- W2102836717 hasConceptScore W2102836717C94625758 @default.
- W2102836717 hasLocation W21028367171 @default.
- W2102836717 hasOpenAccess W2102836717 @default.
- W2102836717 hasPrimaryLocation W21028367171 @default.
- W2102836717 hasRelatedWork W1533811829 @default.
- W2102836717 hasRelatedWork W1554402096 @default.
- W2102836717 hasRelatedWork W1599376851 @default.
- W2102836717 hasRelatedWork W1608540139 @default.
- W2102836717 hasRelatedWork W2025433012 @default.
- W2102836717 hasRelatedWork W2034815954 @default.
- W2102836717 hasRelatedWork W2143992175 @default.
- W2102836717 hasRelatedWork W2157837456 @default.
- W2102836717 hasRelatedWork W2159738186 @default.
- W2102836717 hasRelatedWork W2186617270 @default.
- W2102836717 hasRelatedWork W2636789317 @default.
- W2102836717 hasRelatedWork W2740413208 @default.
- W2102836717 hasRelatedWork W2808696501 @default.
- W2102836717 hasRelatedWork W2930888162 @default.
- W2102836717 hasRelatedWork W2942474757 @default.
- W2102836717 hasRelatedWork W2949421278 @default.
- W2102836717 hasRelatedWork W2970401994 @default.
- W2102836717 hasRelatedWork W2972318496 @default.
- W2102836717 hasRelatedWork W3041027895 @default.
- W2102836717 hasRelatedWork W3082111916 @default.
- W2102836717 isParatext "false" @default.
- W2102836717 isRetracted "false" @default.
- W2102836717 magId "2102836717" @default.
- W2102836717 workType "article" @default.