Matches in SemOpenAlex for { <https://semopenalex.org/work/W4983232> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4983232 endingPage "465" @default.
- W4983232 startingPage "459" @default.
- W4983232 abstract "We report results from large-scale experiments in satisfiability testing. As has been observed by others, testing the satisfiability of random formulas often appears surprisingly easy. Here we show that by using the right distribution of instances, and appropriate parameter values, it is possible to generate random formulas that are hard, that is, for which satisfiability testing is quite difficult. Our results provide a benchmark for the evaluation of satisfiability-testing procedures." @default.
- W4983232 created "2016-06-24" @default.
- W4983232 creator A5025681351 @default.
- W4983232 creator A5076523933 @default.
- W4983232 creator A5084928583 @default.
- W4983232 date "1992-07-12" @default.
- W4983232 modified "2023-10-13" @default.
- W4983232 title "Hard and easy distributions of SAT problems" @default.
- W4983232 cites W1488300202 @default.
- W4983232 cites W1620410031 @default.
- W4983232 cites W1667614912 @default.
- W4983232 cites W2011039300 @default.
- W4983232 cites W2022695609 @default.
- W4983232 cites W2036265926 @default.
- W4983232 cites W2050297836 @default.
- W4983232 cites W2054387247 @default.
- W4983232 cites W2062897452 @default.
- W4983232 cites W2069767473 @default.
- W4983232 cites W2070017679 @default.
- W4983232 cites W2084642537 @default.
- W4983232 cites W2088377032 @default.
- W4983232 cites W2126420408 @default.
- W4983232 cites W2133085881 @default.
- W4983232 cites W2170826919 @default.
- W4983232 hasPublicationYear "1992" @default.
- W4983232 type Work @default.
- W4983232 sameAs 4983232 @default.
- W4983232 citedByCount "422" @default.
- W4983232 countsByYear W49832322012 @default.
- W4983232 countsByYear W49832322013 @default.
- W4983232 countsByYear W49832322014 @default.
- W4983232 countsByYear W49832322015 @default.
- W4983232 countsByYear W49832322016 @default.
- W4983232 countsByYear W49832322017 @default.
- W4983232 countsByYear W49832322018 @default.
- W4983232 countsByYear W49832322019 @default.
- W4983232 countsByYear W49832322020 @default.
- W4983232 countsByYear W49832322021 @default.
- W4983232 countsByYear W49832322022 @default.
- W4983232 crossrefType "proceedings-article" @default.
- W4983232 hasAuthorship W4983232A5025681351 @default.
- W4983232 hasAuthorship W4983232A5076523933 @default.
- W4983232 hasAuthorship W4983232A5084928583 @default.
- W4983232 hasConcept C106159264 @default.
- W4983232 hasConcept C11413529 @default.
- W4983232 hasConcept C119857082 @default.
- W4983232 hasConcept C128942645 @default.
- W4983232 hasConcept C13280743 @default.
- W4983232 hasConcept C152877465 @default.
- W4983232 hasConcept C168773769 @default.
- W4983232 hasConcept C185798385 @default.
- W4983232 hasConcept C205649164 @default.
- W4983232 hasConcept C33923547 @default.
- W4983232 hasConcept C41008148 @default.
- W4983232 hasConcept C6943359 @default.
- W4983232 hasConcept C80444323 @default.
- W4983232 hasConceptScore W4983232C106159264 @default.
- W4983232 hasConceptScore W4983232C11413529 @default.
- W4983232 hasConceptScore W4983232C119857082 @default.
- W4983232 hasConceptScore W4983232C128942645 @default.
- W4983232 hasConceptScore W4983232C13280743 @default.
- W4983232 hasConceptScore W4983232C152877465 @default.
- W4983232 hasConceptScore W4983232C168773769 @default.
- W4983232 hasConceptScore W4983232C185798385 @default.
- W4983232 hasConceptScore W4983232C205649164 @default.
- W4983232 hasConceptScore W4983232C33923547 @default.
- W4983232 hasConceptScore W4983232C41008148 @default.
- W4983232 hasConceptScore W4983232C6943359 @default.
- W4983232 hasConceptScore W4983232C80444323 @default.
- W4983232 hasLocation W49832321 @default.
- W4983232 hasOpenAccess W4983232 @default.
- W4983232 hasPrimaryLocation W49832321 @default.
- W4983232 hasRelatedWork W1518885151 @default.
- W4983232 hasRelatedWork W1559492868 @default.
- W4983232 hasRelatedWork W1561608403 @default.
- W4983232 hasRelatedWork W1620410031 @default.
- W4983232 hasRelatedWork W1650993530 @default.
- W4983232 hasRelatedWork W1667614912 @default.
- W4983232 hasRelatedWork W1968198053 @default.
- W4983232 hasRelatedWork W2011039300 @default.
- W4983232 hasRelatedWork W2022695609 @default.
- W4983232 hasRelatedWork W2024060531 @default.
- W4983232 hasRelatedWork W2036265926 @default.
- W4983232 hasRelatedWork W2057361103 @default.
- W4983232 hasRelatedWork W2062897452 @default.
- W4983232 hasRelatedWork W2126420408 @default.
- W4983232 hasRelatedWork W2129766896 @default.
- W4983232 hasRelatedWork W2138778293 @default.
- W4983232 hasRelatedWork W2142785340 @default.
- W4983232 hasRelatedWork W2155218845 @default.
- W4983232 hasRelatedWork W2165372647 @default.
- W4983232 hasRelatedWork W2169185944 @default.
- W4983232 isParatext "false" @default.
- W4983232 isRetracted "false" @default.
- W4983232 magId "4983232" @default.
- W4983232 workType "article" @default.