Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401402817> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2401402817 abstract "Given a satisfiable k-CNF SAT instance, a satisfiable core is a minimal subset of the k-CNF clauses that preserves all and only the satisfying assignments of the original instance. In this paper, we extend the previous results on satisfiable core, especially on the strong correlation between the hardness of SAT instances and the size of their satisfiable cores. We introduce a measure called the weighted clause-to-variable ratio, which substantially improves on the classic clause-to-variable ratio in explaining the phase transition. We also examine interesting transitions in satisfiable core size of random instances and show that satisfiable core is a powerful concept for studying the constrainedness of instances." @default.
- W2401402817 created "2016-06-24" @default.
- W2401402817 creator A5041982650 @default.
- W2401402817 creator A5052268790 @default.
- W2401402817 date "2006-01-01" @default.
- W2401402817 modified "2023-09-23" @default.
- W2401402817 title "Experimental Results on the Satisfiable Core in Random 3SAT." @default.
- W2401402817 cites W142625004 @default.
- W2401402817 cites W1489260348 @default.
- W2401402817 cites W1507596338 @default.
- W2401402817 cites W1561608403 @default.
- W2401402817 cites W157230443 @default.
- W2401402817 cites W1709155369 @default.
- W2401402817 cites W1898297283 @default.
- W2401402817 cites W2005030466 @default.
- W2401402817 cites W2033937366 @default.
- W2401402817 cites W2050430186 @default.
- W2401402817 cites W2068982639 @default.
- W2401402817 cites W2142785340 @default.
- W2401402817 cites W36382082 @default.
- W2401402817 cites W37101401 @default.
- W2401402817 cites W80684329 @default.
- W2401402817 hasPublicationYear "2006" @default.
- W2401402817 type Work @default.
- W2401402817 sameAs 2401402817 @default.
- W2401402817 citedByCount "1" @default.
- W2401402817 crossrefType "journal-article" @default.
- W2401402817 hasAuthorship W2401402817A5041982650 @default.
- W2401402817 hasAuthorship W2401402817A5052268790 @default.
- W2401402817 hasConcept C114614502 @default.
- W2401402817 hasConcept C118615104 @default.
- W2401402817 hasConcept C124101348 @default.
- W2401402817 hasConcept C134306372 @default.
- W2401402817 hasConcept C168773769 @default.
- W2401402817 hasConcept C182365436 @default.
- W2401402817 hasConcept C2164484 @default.
- W2401402817 hasConcept C2780009758 @default.
- W2401402817 hasConcept C33923547 @default.
- W2401402817 hasConcept C41008148 @default.
- W2401402817 hasConcept C6943359 @default.
- W2401402817 hasConcept C76155785 @default.
- W2401402817 hasConceptScore W2401402817C114614502 @default.
- W2401402817 hasConceptScore W2401402817C118615104 @default.
- W2401402817 hasConceptScore W2401402817C124101348 @default.
- W2401402817 hasConceptScore W2401402817C134306372 @default.
- W2401402817 hasConceptScore W2401402817C168773769 @default.
- W2401402817 hasConceptScore W2401402817C182365436 @default.
- W2401402817 hasConceptScore W2401402817C2164484 @default.
- W2401402817 hasConceptScore W2401402817C2780009758 @default.
- W2401402817 hasConceptScore W2401402817C33923547 @default.
- W2401402817 hasConceptScore W2401402817C41008148 @default.
- W2401402817 hasConceptScore W2401402817C6943359 @default.
- W2401402817 hasConceptScore W2401402817C76155785 @default.
- W2401402817 hasLocation W24014028171 @default.
- W2401402817 hasOpenAccess W2401402817 @default.
- W2401402817 hasPrimaryLocation W24014028171 @default.
- W2401402817 hasRelatedWork W1597271110 @default.
- W2401402817 hasRelatedWork W1823551964 @default.
- W2401402817 hasRelatedWork W1996958432 @default.
- W2401402817 hasRelatedWork W2026105979 @default.
- W2401402817 hasRelatedWork W2075024586 @default.
- W2401402817 hasRelatedWork W2081537403 @default.
- W2401402817 hasRelatedWork W2090985521 @default.
- W2401402817 hasRelatedWork W2400082414 @default.
- W2401402817 hasRelatedWork W2568591931 @default.
- W2401402817 hasRelatedWork W269572962 @default.
- W2401402817 hasRelatedWork W2938488389 @default.
- W2401402817 hasRelatedWork W2949523893 @default.
- W2401402817 hasRelatedWork W2951605509 @default.
- W2401402817 hasRelatedWork W2952104738 @default.
- W2401402817 hasRelatedWork W2952177688 @default.
- W2401402817 hasRelatedWork W2952943368 @default.
- W2401402817 hasRelatedWork W2953032822 @default.
- W2401402817 hasRelatedWork W3100736114 @default.
- W2401402817 hasRelatedWork W3198729793 @default.
- W2401402817 hasRelatedWork W618838339 @default.
- W2401402817 isParatext "false" @default.
- W2401402817 isRetracted "false" @default.
- W2401402817 magId "2401402817" @default.
- W2401402817 workType "article" @default.