FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567941403> ?p ?o ?g. }

• W1567941403 endingPage "47" @default.
• W1567941403 startingPage "32" @default.
• W1567941403 abstract "AbstractWe present a moderately exponential time polynomial space algorithm for sparse instances of Max SAT. Our algorithms run in time of the form O(2(1 − μ(c))n) for instances with n variables and cn clauses. Our deterministic and randomized algorithm achieve (mu(c) = Omega(frac{1}{c^2log^2 c})) and (mu(c) = Omega(frac{1}{c log^3 c})) respectively. Previously, an exponential space deterministic algorithm with (mu(c) = Omega(frac{1}{clog c})) was shown by Dantsin and Wolpert [SAT 2006] and a polynomial space deterministic algorithm with (mu(c) = Omega(frac{1}{2^{O(c)}})) was shown by Kulikov and Kutzkov [CSR 2007].Our algorithms have three new features. They can handle instances with (1) weights and (2) hard constraints, and also (3) they can solve counting versions of Max SAT. Our deterministic algorithm is based on the combination of two techniques, width reduction of Schuler and greedy restriction of Santhanam. Our randomized algorithm uses random restriction instead of greedy restriction.KeywordsExponential time algorithmpolynomial spaceweighthard constraintcounting" @default.
• W1567941403 created "2016-06-24" @default.
• W1567941403 creator A5037874806 @default.
• W1567941403 creator A5044814580 @default.
• W1567941403 creator A5079503752 @default.
• W1567941403 date "2014-01-01" @default.
• W1567941403 modified "2023-09-24" @default.
• W1567941403 title "Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction" @default.
• W1567941403 cites W1491051759 @default.
• W1567941403 cites W1498365528 @default.
• W1567941403 cites W1511510919 @default.
• W1567941403 cites W1564640323 @default.
• W1567941403 cites W1576180980 @default.
• W1567941403 cites W1622068963 @default.
• W1567941403 cites W1865369187 @default.
• W1567941403 cites W1896404939 @default.
• W1567941403 cites W1974632918 @default.
• W1567941403 cites W2001776351 @default.
• W1567941403 cites W2005223599 @default.
• W1567941403 cites W2006933117 @default.
• W1567941403 cites W2010651583 @default.
• W1567941403 cites W2016590269 @default.
• W1567941403 cites W2029489766 @default.
• W1567941403 cites W2036185701 @default.
• W1567941403 cites W2045492613 @default.
• W1567941403 cites W2050715481 @default.
• W1567941403 cites W2055839883 @default.
• W1567941403 cites W2067983896 @default.
• W1567941403 cites W2081438146 @default.
• W1567941403 cites W2084732238 @default.
• W1567941403 cites W2104306727 @default.
• W1567941403 cites W2106793914 @default.
• W1567941403 cites W2148185803 @default.
• W1567941403 cites W2154474334 @default.
• W1567941403 cites W2158953726 @default.
• W1567941403 cites W2168696918 @default.
• W1567941403 cites W2895952552 @default.
• W1567941403 cites W34340600 @default.
• W1567941403 cites W4205582340 @default.
• W1567941403 cites W4256152130 @default.
• W1567941403 doi "https://doi.org/10.1007/978-3-319-09284-3_4" @default.
• W1567941403 hasPublicationYear "2014" @default.
• W1567941403 type Work @default.
• W1567941403 sameAs 1567941403 @default.
• W1567941403 citedByCount "2" @default.
• W1567941403 countsByYear W15679414032015 @default.
• W1567941403 countsByYear W15679414032017 @default.
• W1567941403 crossrefType "book-chapter" @default.
• W1567941403 hasAuthorship W1567941403A5037874806 @default.
• W1567941403 hasAuthorship W1567941403A5044814580 @default.
• W1567941403 hasAuthorship W1567941403A5079503752 @default.
• W1567941403 hasConcept C111919701 @default.
• W1567941403 hasConcept C11413529 @default.
• W1567941403 hasConcept C114614502 @default.
• W1567941403 hasConcept C118615104 @default.
• W1567941403 hasConcept C121332964 @default.
• W1567941403 hasConcept C134306372 @default.
• W1567941403 hasConcept C13533509 @default.
• W1567941403 hasConcept C151376022 @default.
• W1567941403 hasConcept C2778572836 @default.
• W1567941403 hasConcept C2779557605 @default.
• W1567941403 hasConcept C311688 @default.
• W1567941403 hasConcept C33923547 @default.
• W1567941403 hasConcept C41008148 @default.
• W1567941403 hasConcept C51823790 @default.
• W1567941403 hasConcept C62520636 @default.
• W1567941403 hasConcept C63553672 @default.
• W1567941403 hasConcept C90119067 @default.
• W1567941403 hasConceptScore W1567941403C111919701 @default.
• W1567941403 hasConceptScore W1567941403C11413529 @default.
• W1567941403 hasConceptScore W1567941403C114614502 @default.
• W1567941403 hasConceptScore W1567941403C118615104 @default.
• W1567941403 hasConceptScore W1567941403C121332964 @default.
• W1567941403 hasConceptScore W1567941403C134306372 @default.
• W1567941403 hasConceptScore W1567941403C13533509 @default.
• W1567941403 hasConceptScore W1567941403C151376022 @default.
• W1567941403 hasConceptScore W1567941403C2778572836 @default.
• W1567941403 hasConceptScore W1567941403C2779557605 @default.
• W1567941403 hasConceptScore W1567941403C311688 @default.
• W1567941403 hasConceptScore W1567941403C33923547 @default.
• W1567941403 hasConceptScore W1567941403C41008148 @default.
• W1567941403 hasConceptScore W1567941403C51823790 @default.
• W1567941403 hasConceptScore W1567941403C62520636 @default.
• W1567941403 hasConceptScore W1567941403C63553672 @default.
• W1567941403 hasConceptScore W1567941403C90119067 @default.
• W1567941403 hasLocation W15679414031 @default.
• W1567941403 hasOpenAccess W1567941403 @default.
• W1567941403 hasPrimaryLocation W15679414031 @default.
• W1567941403 hasRelatedWork W135218539 @default.
• W1567941403 hasRelatedWork W1516897638 @default.
• W1567941403 hasRelatedWork W2071068647 @default.
• W1567941403 hasRelatedWork W2261374484 @default.
• W1567941403 hasRelatedWork W2401929940 @default.
• W1567941403 hasRelatedWork W2406826768 @default.
• W1567941403 hasRelatedWork W2521054645 @default.
• W1567941403 hasRelatedWork W2565460386 @default.
• W1567941403 hasRelatedWork W2601978912 @default.
• W1567941403 hasRelatedWork W2739024676 @default.

• next