Matches in SemOpenAlex for { <https://semopenalex.org/work/W1640429926> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1640429926 abstract "Constraint satisfaction problems (CSPs) models many important intractable NP-hard problems such as propositional satisfiability problem (SAT). Algorithms with non-trivial upper bounds on running time for restricted SAT with bounded clause length k (k-SAT) can be classified into three styles: DPLL-like, PPSZ-like and Local Search, with local search algorithms having already been generalized to CSP with bounded constraint arity k (k-CSP). We generalize a DPLL-like algorithm in its simplest form and a PPSZ-like algorithm from k-SAT to k-CSP. As far as we know, this is the first attempt to use PPSZ-like strategy to solve k-CSP, and before little work has been focused on the DPLL-like or PPSZ-like strategies for k-CSP." @default.
- W1640429926 created "2016-06-24" @default.
- W1640429926 creator A5022526821 @default.
- W1640429926 creator A5024989048 @default.
- W1640429926 creator A5030054597 @default.
- W1640429926 creator A5064564309 @default.
- W1640429926 date "2008-01-21" @default.
- W1640429926 modified "2023-09-26" @default.
- W1640429926 title "From k-SAT to k-CSP: Two Generalized Algorithms" @default.
- W1640429926 cites W1920638964 @default.
- W1640429926 cites W1988434420 @default.
- W1640429926 cites W1990734013 @default.
- W1640429926 cites W2085826829 @default.
- W1640429926 cites W2126442135 @default.
- W1640429926 cites W190339048 @default.
- W1640429926 hasPublicationYear "2008" @default.
- W1640429926 type Work @default.
- W1640429926 sameAs 1640429926 @default.
- W1640429926 citedByCount "4" @default.
- W1640429926 countsByYear W16404299262021 @default.
- W1640429926 crossrefType "posted-content" @default.
- W1640429926 hasAuthorship W1640429926A5022526821 @default.
- W1640429926 hasAuthorship W1640429926A5024989048 @default.
- W1640429926 hasAuthorship W1640429926A5030054597 @default.
- W1640429926 hasAuthorship W1640429926A5064564309 @default.
- W1640429926 hasConcept C105795698 @default.
- W1640429926 hasConcept C110546421 @default.
- W1640429926 hasConcept C11413529 @default.
- W1640429926 hasConcept C114614502 @default.
- W1640429926 hasConcept C118615104 @default.
- W1640429926 hasConcept C12707504 @default.
- W1640429926 hasConcept C132180345 @default.
- W1640429926 hasConcept C134306372 @default.
- W1640429926 hasConcept C134652429 @default.
- W1640429926 hasConcept C137105694 @default.
- W1640429926 hasConcept C143936061 @default.
- W1640429926 hasConcept C156884757 @default.
- W1640429926 hasConcept C168773769 @default.
- W1640429926 hasConcept C199622910 @default.
- W1640429926 hasConcept C2524010 @default.
- W1640429926 hasConcept C2776036281 @default.
- W1640429926 hasConcept C29230964 @default.
- W1640429926 hasConcept C33923547 @default.
- W1640429926 hasConcept C34388435 @default.
- W1640429926 hasConcept C41008148 @default.
- W1640429926 hasConcept C44616089 @default.
- W1640429926 hasConcept C49937458 @default.
- W1640429926 hasConcept C6943359 @default.
- W1640429926 hasConcept C76155785 @default.
- W1640429926 hasConceptScore W1640429926C105795698 @default.
- W1640429926 hasConceptScore W1640429926C110546421 @default.
- W1640429926 hasConceptScore W1640429926C11413529 @default.
- W1640429926 hasConceptScore W1640429926C114614502 @default.
- W1640429926 hasConceptScore W1640429926C118615104 @default.
- W1640429926 hasConceptScore W1640429926C12707504 @default.
- W1640429926 hasConceptScore W1640429926C132180345 @default.
- W1640429926 hasConceptScore W1640429926C134306372 @default.
- W1640429926 hasConceptScore W1640429926C134652429 @default.
- W1640429926 hasConceptScore W1640429926C137105694 @default.
- W1640429926 hasConceptScore W1640429926C143936061 @default.
- W1640429926 hasConceptScore W1640429926C156884757 @default.
- W1640429926 hasConceptScore W1640429926C168773769 @default.
- W1640429926 hasConceptScore W1640429926C199622910 @default.
- W1640429926 hasConceptScore W1640429926C2524010 @default.
- W1640429926 hasConceptScore W1640429926C2776036281 @default.
- W1640429926 hasConceptScore W1640429926C29230964 @default.
- W1640429926 hasConceptScore W1640429926C33923547 @default.
- W1640429926 hasConceptScore W1640429926C34388435 @default.
- W1640429926 hasConceptScore W1640429926C41008148 @default.
- W1640429926 hasConceptScore W1640429926C44616089 @default.
- W1640429926 hasConceptScore W1640429926C49937458 @default.
- W1640429926 hasConceptScore W1640429926C6943359 @default.
- W1640429926 hasConceptScore W1640429926C76155785 @default.
- W1640429926 hasLocation W16404299261 @default.
- W1640429926 hasOpenAccess W1640429926 @default.
- W1640429926 hasPrimaryLocation W16404299261 @default.
- W1640429926 hasRelatedWork W1500793656 @default.
- W1640429926 hasRelatedWork W1516554206 @default.
- W1640429926 hasRelatedWork W1536779655 @default.
- W1640429926 hasRelatedWork W1559548620 @default.
- W1640429926 hasRelatedWork W1559901688 @default.
- W1640429926 hasRelatedWork W1602724486 @default.
- W1640429926 hasRelatedWork W1806442991 @default.
- W1640429926 hasRelatedWork W1818081266 @default.
- W1640429926 hasRelatedWork W1982174487 @default.
- W1640429926 hasRelatedWork W199082658 @default.
- W1640429926 hasRelatedWork W2009384947 @default.
- W1640429926 hasRelatedWork W2049136377 @default.
- W1640429926 hasRelatedWork W2070622106 @default.
- W1640429926 hasRelatedWork W2097404893 @default.
- W1640429926 hasRelatedWork W2126442135 @default.
- W1640429926 hasRelatedWork W2345050494 @default.
- W1640429926 hasRelatedWork W2900055946 @default.
- W1640429926 hasRelatedWork W2906226597 @default.
- W1640429926 hasRelatedWork W2945692665 @default.
- W1640429926 hasRelatedWork W3101990834 @default.
- W1640429926 isParatext "false" @default.
- W1640429926 isRetracted "false" @default.
- W1640429926 magId "1640429926" @default.
- W1640429926 workType "article" @default.