Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019983117> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2019983117 endingPage "138" @default.
- W2019983117 startingPage "129" @default.
- W2019983117 abstract "This paper is concerned with an algorithm that provides short certificates of unsatisfiability with high probability when an input I is a random instance of 3-SAT. Rather than build a refutation DAG, the algorithm finds bounds on nI(true), the number of variables that must be set to true, and nI(false), the number that must be set to false, if all clauses of I are to be satisfied. If the sum nI(true)+nI(false) is greater than the number of variables in I then I must be unsatisfiable. Bounds on nI(true) and nI(false) may be found by throwing out all clauses except those having only negative or only positive literals and finding nI+(true) for the remaining positive clause set I+ and nI−(false) for the remaining negative clause set I−. These questions can alternatively be stated as 3-hitting set problems on I+ and I− separately. It is shown that a good enough approximation algorithm for 3-hitting set can determine useful bounds on nI(true) and nI(false) (high probability of success for large enough constant ratio of clauses to variables). Although a good enough algorithm seems evasive, one that comes fairly close is proposed and analyzed." @default.
- W2019983117 created "2016-06-24" @default.
- W2019983117 creator A5023768419 @default.
- W2019983117 creator A5080687083 @default.
- W2019983117 date "2003-08-01" @default.
- W2019983117 modified "2023-09-23" @default.
- W2019983117 title "On good algorithms for determining unsatisfiability of propositional formulas" @default.
- W2019983117 cites W1534497489 @default.
- W2019983117 cites W1580582120 @default.
- W2019983117 cites W1969966778 @default.
- W2019983117 cites W1978732816 @default.
- W2019983117 cites W1985250014 @default.
- W2019983117 cites W2000931246 @default.
- W2019983117 cites W2011039300 @default.
- W2019983117 cites W2022695609 @default.
- W2019983117 cites W2051580875 @default.
- W2019983117 cites W2054387247 @default.
- W2019983117 cites W2059453880 @default.
- W2019983117 cites W2078137578 @default.
- W2019983117 cites W2126420408 @default.
- W2019983117 cites W2128782263 @default.
- W2019983117 cites W2132240307 @default.
- W2019983117 cites W2143996311 @default.
- W2019983117 cites W2151140339 @default.
- W2019983117 cites W2164346692 @default.
- W2019983117 cites W2002252750 @default.
- W2019983117 doi "https://doi.org/10.1016/s0166-218x(02)00401-8" @default.
- W2019983117 hasPublicationYear "2003" @default.
- W2019983117 type Work @default.
- W2019983117 sameAs 2019983117 @default.
- W2019983117 citedByCount "3" @default.
- W2019983117 countsByYear W20199831172018 @default.
- W2019983117 crossrefType "journal-article" @default.
- W2019983117 hasAuthorship W2019983117A5023768419 @default.
- W2019983117 hasAuthorship W2019983117A5080687083 @default.
- W2019983117 hasConcept C11413529 @default.
- W2019983117 hasConcept C114614502 @default.
- W2019983117 hasConcept C118615104 @default.
- W2019983117 hasConcept C134306372 @default.
- W2019983117 hasConcept C177264268 @default.
- W2019983117 hasConcept C182365436 @default.
- W2019983117 hasConcept C199360897 @default.
- W2019983117 hasConcept C2777027219 @default.
- W2019983117 hasConcept C33923547 @default.
- W2019983117 hasConcept C41008148 @default.
- W2019983117 hasConceptScore W2019983117C11413529 @default.
- W2019983117 hasConceptScore W2019983117C114614502 @default.
- W2019983117 hasConceptScore W2019983117C118615104 @default.
- W2019983117 hasConceptScore W2019983117C134306372 @default.
- W2019983117 hasConceptScore W2019983117C177264268 @default.
- W2019983117 hasConceptScore W2019983117C182365436 @default.
- W2019983117 hasConceptScore W2019983117C199360897 @default.
- W2019983117 hasConceptScore W2019983117C2777027219 @default.
- W2019983117 hasConceptScore W2019983117C33923547 @default.
- W2019983117 hasConceptScore W2019983117C41008148 @default.
- W2019983117 hasIssue "2" @default.
- W2019983117 hasLocation W20199831171 @default.
- W2019983117 hasOpenAccess W2019983117 @default.
- W2019983117 hasPrimaryLocation W20199831171 @default.
- W2019983117 hasRelatedWork W1971092778 @default.
- W2019983117 hasRelatedWork W1978042415 @default.
- W2019983117 hasRelatedWork W2017331178 @default.
- W2019983117 hasRelatedWork W2041202338 @default.
- W2019983117 hasRelatedWork W2090979013 @default.
- W2019983117 hasRelatedWork W2118533956 @default.
- W2019983117 hasRelatedWork W2976797620 @default.
- W2019983117 hasRelatedWork W3086542228 @default.
- W2019983117 hasRelatedWork W3204175910 @default.
- W2019983117 hasRelatedWork W3205652752 @default.
- W2019983117 hasVolume "130" @default.
- W2019983117 isParatext "false" @default.
- W2019983117 isRetracted "false" @default.
- W2019983117 magId "2019983117" @default.
- W2019983117 workType "article" @default.