Matches in SemOpenAlex for { <https://semopenalex.org/work/W2416495215> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2416495215 endingPage "110" @default.
- W2416495215 startingPage "98" @default.
- W2416495215 abstract "We study the probabilistic behaviour of solutions of random instances of the Boolean Satisfiability (SAT) and Constraint Satisfaction Problems (CSPs) that generalize the standard notion of a satisfying assignment. Our analysis focuses on a special type of generalized solutions, the (1,0)-super solutions. For random instances of k -SAT, we establish the exact threshold of the phase transition of the solution probability for k ≤ 3 , and give upper and lower bounds on the threshold of the phase transition for the case of k ≥ 4 . For CSPs, we derive an upper bound on the threshold of having a (1,0)-super solution asymptotically with probability 1, and establish a condition for the expected number of super solutions to grow exponentially." @default.
- W2416495215 created "2016-06-24" @default.
- W2416495215 creator A5027777470 @default.
- W2416495215 creator A5029360035 @default.
- W2416495215 date "2017-01-01" @default.
- W2416495215 modified "2023-09-29" @default.
- W2416495215 title "A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming" @default.
- W2416495215 cites W1990734013 @default.
- W2416495215 cites W2000838329 @default.
- W2416495215 cites W2022392080 @default.
- W2416495215 cites W2079035346 @default.
- W2416495215 cites W2085826829 @default.
- W2416495215 cites W2088486516 @default.
- W2416495215 cites W2092520161 @default.
- W2416495215 cites W2109015525 @default.
- W2416495215 cites W2139300273 @default.
- W2416495215 cites W2159579504 @default.
- W2416495215 doi "https://doi.org/10.1016/j.tcs.2016.04.041" @default.
- W2416495215 hasPublicationYear "2017" @default.
- W2416495215 type Work @default.
- W2416495215 sameAs 2416495215 @default.
- W2416495215 citedByCount "7" @default.
- W2416495215 countsByYear W24164952152019 @default.
- W2416495215 countsByYear W24164952152020 @default.
- W2416495215 countsByYear W24164952152021 @default.
- W2416495215 countsByYear W24164952152022 @default.
- W2416495215 crossrefType "journal-article" @default.
- W2416495215 hasAuthorship W2416495215A5027777470 @default.
- W2416495215 hasAuthorship W2416495215A5029360035 @default.
- W2416495215 hasBestOaLocation W24164952151 @default.
- W2416495215 hasConcept C11413529 @default.
- W2416495215 hasConcept C118615104 @default.
- W2416495215 hasConcept C126255220 @default.
- W2416495215 hasConcept C137631369 @default.
- W2416495215 hasConcept C154945302 @default.
- W2416495215 hasConcept C168773769 @default.
- W2416495215 hasConcept C173404611 @default.
- W2416495215 hasConcept C199360897 @default.
- W2416495215 hasConcept C2524010 @default.
- W2416495215 hasConcept C2776036281 @default.
- W2416495215 hasConcept C33923547 @default.
- W2416495215 hasConcept C41008148 @default.
- W2416495215 hasConcept C49937458 @default.
- W2416495215 hasConcept C80444323 @default.
- W2416495215 hasConceptScore W2416495215C11413529 @default.
- W2416495215 hasConceptScore W2416495215C118615104 @default.
- W2416495215 hasConceptScore W2416495215C126255220 @default.
- W2416495215 hasConceptScore W2416495215C137631369 @default.
- W2416495215 hasConceptScore W2416495215C154945302 @default.
- W2416495215 hasConceptScore W2416495215C168773769 @default.
- W2416495215 hasConceptScore W2416495215C173404611 @default.
- W2416495215 hasConceptScore W2416495215C199360897 @default.
- W2416495215 hasConceptScore W2416495215C2524010 @default.
- W2416495215 hasConceptScore W2416495215C2776036281 @default.
- W2416495215 hasConceptScore W2416495215C33923547 @default.
- W2416495215 hasConceptScore W2416495215C41008148 @default.
- W2416495215 hasConceptScore W2416495215C49937458 @default.
- W2416495215 hasConceptScore W2416495215C80444323 @default.
- W2416495215 hasLocation W24164952151 @default.
- W2416495215 hasOpenAccess W2416495215 @default.
- W2416495215 hasPrimaryLocation W24164952151 @default.
- W2416495215 hasRelatedWork W1783093891 @default.
- W2416495215 hasRelatedWork W2045398665 @default.
- W2416495215 hasRelatedWork W2067631180 @default.
- W2416495215 hasRelatedWork W2212155158 @default.
- W2416495215 hasRelatedWork W2393276978 @default.
- W2416495215 hasRelatedWork W2482624724 @default.
- W2416495215 hasRelatedWork W2970450731 @default.
- W2416495215 hasRelatedWork W3033945796 @default.
- W2416495215 hasRelatedWork W4298015247 @default.
- W2416495215 hasRelatedWork W2481105289 @default.
- W2416495215 hasVolume "657" @default.
- W2416495215 isParatext "false" @default.
- W2416495215 isRetracted "false" @default.
- W2416495215 magId "2416495215" @default.
- W2416495215 workType "article" @default.