Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571684336> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1571684336 abstract "We introduce two incomplete polynomial time algorithms to solve satisfiability problems which both use Linear Programming (LP) techniques. First, the FlipFlop LP attempts to simulate a Quadratic Program which would solve the CNF at hand. Second, the WeightedLinearAutarky LP is an extended variant of the LinearAutarky LP as defined by Kullmann [6] and iteratively updates its weights to find autarkies in a given formula. Besides solving satisfiability problems, this LP could also be used to study the existence of autark assignments in formulas. Results within the experimental domain (up to 1000 variables) show a considerably sharper lower bound for the uniform random 3-Sat phase transition density than the proved lower bound of the myopic algorithm (> 3.26) by Achlioptas [1] and even than that of the greedy algorithm (> 3.52) proposed by Kaporis [5]." @default.
- W1571684336 created "2016-06-24" @default.
- W1571684336 creator A5025921874 @default.
- W1571684336 creator A5084566377 @default.
- W1571684336 date "2005-01-01" @default.
- W1571684336 modified "2023-09-27" @default.
- W1571684336 title "Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming" @default.
- W1571684336 cites W1534832769 @default.
- W1571684336 cites W1965913970 @default.
- W1571684336 cites W1970251068 @default.
- W1571684336 cites W2023622935 @default.
- W1571684336 cites W2038690430 @default.
- W1571684336 cites W2042162837 @default.
- W1571684336 cites W2042705674 @default.
- W1571684336 cites W2063897357 @default.
- W1571684336 cites W2136558174 @default.
- W1571684336 doi "https://doi.org/10.1007/11499107_9" @default.
- W1571684336 hasPublicationYear "2005" @default.
- W1571684336 type Work @default.
- W1571684336 sameAs 1571684336 @default.
- W1571684336 citedByCount "0" @default.
- W1571684336 crossrefType "book-chapter" @default.
- W1571684336 hasAuthorship W1571684336A5025921874 @default.
- W1571684336 hasAuthorship W1571684336A5084566377 @default.
- W1571684336 hasConcept C11413529 @default.
- W1571684336 hasConcept C114614502 @default.
- W1571684336 hasConcept C118615104 @default.
- W1571684336 hasConcept C129844170 @default.
- W1571684336 hasConcept C134306372 @default.
- W1571684336 hasConcept C168773769 @default.
- W1571684336 hasConcept C2524010 @default.
- W1571684336 hasConcept C311688 @default.
- W1571684336 hasConcept C33923547 @default.
- W1571684336 hasConcept C36503486 @default.
- W1571684336 hasConcept C41008148 @default.
- W1571684336 hasConcept C41045048 @default.
- W1571684336 hasConcept C51823790 @default.
- W1571684336 hasConcept C77553402 @default.
- W1571684336 hasConceptScore W1571684336C11413529 @default.
- W1571684336 hasConceptScore W1571684336C114614502 @default.
- W1571684336 hasConceptScore W1571684336C118615104 @default.
- W1571684336 hasConceptScore W1571684336C129844170 @default.
- W1571684336 hasConceptScore W1571684336C134306372 @default.
- W1571684336 hasConceptScore W1571684336C168773769 @default.
- W1571684336 hasConceptScore W1571684336C2524010 @default.
- W1571684336 hasConceptScore W1571684336C311688 @default.
- W1571684336 hasConceptScore W1571684336C33923547 @default.
- W1571684336 hasConceptScore W1571684336C36503486 @default.
- W1571684336 hasConceptScore W1571684336C41008148 @default.
- W1571684336 hasConceptScore W1571684336C41045048 @default.
- W1571684336 hasConceptScore W1571684336C51823790 @default.
- W1571684336 hasConceptScore W1571684336C77553402 @default.
- W1571684336 hasLocation W15716843361 @default.
- W1571684336 hasOpenAccess W1571684336 @default.
- W1571684336 hasPrimaryLocation W15716843361 @default.
- W1571684336 hasRelatedWork W13082435 @default.
- W1571684336 hasRelatedWork W160373958 @default.
- W1571684336 hasRelatedWork W1801993675 @default.
- W1571684336 hasRelatedWork W2003897042 @default.
- W1571684336 hasRelatedWork W2057623054 @default.
- W1571684336 hasRelatedWork W2371447506 @default.
- W1571684336 hasRelatedWork W2385011829 @default.
- W1571684336 hasRelatedWork W2386767533 @default.
- W1571684336 hasRelatedWork W2748952813 @default.
- W1571684336 hasRelatedWork W38902447 @default.
- W1571684336 isParatext "false" @default.
- W1571684336 isRetracted "false" @default.
- W1571684336 magId "1571684336" @default.
- W1571684336 workType "book-chapter" @default.