Matches in SemOpenAlex for { <https://semopenalex.org/work/W164363845> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W164363845 endingPage "102" @default.
- W164363845 startingPage "98" @default.
- W164363845 abstract "We study the limit of branching rules in Davis-Putnam (DP) procedure for hard random unsatisfiable 3-SAT and try to answer the question: what would be the search tree size if every branching variable were the best possible? The issue is of practical interest because many efforts have been spent for designing better branching rules. Our experimental results suggest that the branching rules used in the current state-of-the-art DP procedures are already close to the optimal for hard random unsatisfiable 3-SAT, and in particular, that the first of the ten challenges for propositional reasoning and search formulated by Selman et al. in [14], namely, proving a hard 700 variable random 3-SAT formula is unsatisfiable, probably cannot be answered by DP procedure unless something significantly different from branching can be made effective for hard random unsatisfiable 3-SAT." @default.
- W164363845 created "2016-06-24" @default.
- W164363845 creator A5085262547 @default.
- W164363845 creator A5088431822 @default.
- W164363845 date "2000-08-20" @default.
- W164363845 modified "2023-09-28" @default.
- W164363845 title "On the limit of branching rules for hard random unsatisfiable 3-SAT" @default.
- W164363845 cites W14839205 @default.
- W164363845 cites W1556434751 @default.
- W164363845 cites W2021144815 @default.
- W164363845 cites W2057361103 @default.
- W164363845 cites W2057832617 @default.
- W164363845 cites W2085301456 @default.
- W164363845 cites W2088616860 @default.
- W164363845 cites W2119190805 @default.
- W164363845 cites W2155218845 @default.
- W164363845 cites W2165372647 @default.
- W164363845 cites W2408006898 @default.
- W164363845 cites W2776836749 @default.
- W164363845 cites W30950413 @default.
- W164363845 cites W4983232 @default.
- W164363845 cites W18004407 @default.
- W164363845 hasPublicationYear "2000" @default.
- W164363845 type Work @default.
- W164363845 sameAs 164363845 @default.
- W164363845 citedByCount "6" @default.
- W164363845 countsByYear W1643638452018 @default.
- W164363845 crossrefType "proceedings-article" @default.
- W164363845 hasAuthorship W164363845A5085262547 @default.
- W164363845 hasAuthorship W164363845A5088431822 @default.
- W164363845 hasConcept C102993220 @default.
- W164363845 hasConcept C11413529 @default.
- W164363845 hasConcept C114614502 @default.
- W164363845 hasConcept C118615104 @default.
- W164363845 hasConcept C134306372 @default.
- W164363845 hasConcept C14523651 @default.
- W164363845 hasConcept C151201525 @default.
- W164363845 hasConcept C159985019 @default.
- W164363845 hasConcept C168773769 @default.
- W164363845 hasConcept C192562407 @default.
- W164363845 hasConcept C206175624 @default.
- W164363845 hasConcept C33203268 @default.
- W164363845 hasConcept C33923547 @default.
- W164363845 hasConcept C41008148 @default.
- W164363845 hasConcept C74640108 @default.
- W164363845 hasConcept C80444323 @default.
- W164363845 hasConceptScore W164363845C102993220 @default.
- W164363845 hasConceptScore W164363845C11413529 @default.
- W164363845 hasConceptScore W164363845C114614502 @default.
- W164363845 hasConceptScore W164363845C118615104 @default.
- W164363845 hasConceptScore W164363845C134306372 @default.
- W164363845 hasConceptScore W164363845C14523651 @default.
- W164363845 hasConceptScore W164363845C151201525 @default.
- W164363845 hasConceptScore W164363845C159985019 @default.
- W164363845 hasConceptScore W164363845C168773769 @default.
- W164363845 hasConceptScore W164363845C192562407 @default.
- W164363845 hasConceptScore W164363845C206175624 @default.
- W164363845 hasConceptScore W164363845C33203268 @default.
- W164363845 hasConceptScore W164363845C33923547 @default.
- W164363845 hasConceptScore W164363845C41008148 @default.
- W164363845 hasConceptScore W164363845C74640108 @default.
- W164363845 hasConceptScore W164363845C80444323 @default.
- W164363845 hasLocation W1643638451 @default.
- W164363845 hasOpenAccess W164363845 @default.
- W164363845 hasPrimaryLocation W1643638451 @default.
- W164363845 hasRelatedWork W119554023 @default.
- W164363845 hasRelatedWork W14839205 @default.
- W164363845 hasRelatedWork W1505051593 @default.
- W164363845 hasRelatedWork W1511155470 @default.
- W164363845 hasRelatedWork W1513282478 @default.
- W164363845 hasRelatedWork W1594148155 @default.
- W164363845 hasRelatedWork W1650993530 @default.
- W164363845 hasRelatedWork W1667614912 @default.
- W164363845 hasRelatedWork W2057361103 @default.
- W164363845 hasRelatedWork W2062897452 @default.
- W164363845 hasRelatedWork W2075959177 @default.
- W164363845 hasRelatedWork W2129434533 @default.
- W164363845 hasRelatedWork W2142785340 @default.
- W164363845 hasRelatedWork W2394877142 @default.
- W164363845 hasRelatedWork W2747084554 @default.
- W164363845 hasRelatedWork W2938488389 @default.
- W164363845 hasRelatedWork W2962941898 @default.
- W164363845 hasRelatedWork W30950413 @default.
- W164363845 hasRelatedWork W3135386707 @default.
- W164363845 hasRelatedWork W90812399 @default.
- W164363845 isParatext "false" @default.
- W164363845 isRetracted "false" @default.
- W164363845 magId "164363845" @default.
- W164363845 workType "article" @default.