Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565010992> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1565010992 endingPage "477" @default.
- W1565010992 startingPage "457" @default.
- W1565010992 abstract "As was shown recently, many important AI problems require counting the number of models of propositional formulas. The problem of counting models of such formulas is, according to present knowledge, computationally intractable in a worst case. Based on the Davis-Putnam procedure, we present an algorithm, CDP, that computes the exact number of models of a propositional CNF or DNF formula F. Let m and n be the number of clauses and variables of F, respectively, and let p denote the probability that a literal l of F occurs in a clause C of F, then the average running time of CDP is shown to be O(nm^d), where d=-1/log(1-p). The practical performance of CDP has been estimated in a series of experiments on a wide variety of CNF formulas." @default.
- W1565010992 created "2016-06-24" @default.
- W1565010992 creator A5001569651 @default.
- W1565010992 creator A5085793842 @default.
- W1565010992 date "1999-06-01" @default.
- W1565010992 modified "2023-10-10" @default.
- W1565010992 title "The Good Old Davis-Putnam Procedure Helps Counting Models" @default.
- W1565010992 cites W1964821516 @default.
- W1565010992 cites W1969377401 @default.
- W1565010992 cites W1996980357 @default.
- W1565010992 cites W2006912660 @default.
- W1565010992 cites W2010432603 @default.
- W1565010992 cites W2020105007 @default.
- W1565010992 cites W2022695609 @default.
- W1565010992 cites W2036350017 @default.
- W1565010992 cites W2050917944 @default.
- W1565010992 cites W2062897452 @default.
- W1565010992 cites W2081311719 @default.
- W1565010992 cites W2093796999 @default.
- W1565010992 cites W2134644511 @default.
- W1565010992 cites W2168105301 @default.
- W1565010992 cites W4983232 @default.
- W1565010992 doi "https://doi.org/10.1613/jair.601" @default.
- W1565010992 hasPublicationYear "1999" @default.
- W1565010992 type Work @default.
- W1565010992 sameAs 1565010992 @default.
- W1565010992 citedByCount "99" @default.
- W1565010992 countsByYear W15650109922012 @default.
- W1565010992 countsByYear W15650109922013 @default.
- W1565010992 countsByYear W15650109922014 @default.
- W1565010992 countsByYear W15650109922015 @default.
- W1565010992 countsByYear W15650109922016 @default.
- W1565010992 countsByYear W15650109922017 @default.
- W1565010992 countsByYear W15650109922018 @default.
- W1565010992 countsByYear W15650109922019 @default.
- W1565010992 countsByYear W15650109922020 @default.
- W1565010992 countsByYear W15650109922021 @default.
- W1565010992 countsByYear W15650109922022 @default.
- W1565010992 countsByYear W15650109922023 @default.
- W1565010992 crossrefType "journal-article" @default.
- W1565010992 hasAuthorship W1565010992A5001569651 @default.
- W1565010992 hasAuthorship W1565010992A5085793842 @default.
- W1565010992 hasBestOaLocation W15650109921 @default.
- W1565010992 hasConcept C102993220 @default.
- W1565010992 hasConcept C105795698 @default.
- W1565010992 hasConcept C11413529 @default.
- W1565010992 hasConcept C114614502 @default.
- W1565010992 hasConcept C118615104 @default.
- W1565010992 hasConcept C136197465 @default.
- W1565010992 hasConcept C143724316 @default.
- W1565010992 hasConcept C14523651 @default.
- W1565010992 hasConcept C151730666 @default.
- W1565010992 hasConcept C154945302 @default.
- W1565010992 hasConcept C16221470 @default.
- W1565010992 hasConcept C2780882242 @default.
- W1565010992 hasConcept C33203268 @default.
- W1565010992 hasConcept C33923547 @default.
- W1565010992 hasConcept C41008148 @default.
- W1565010992 hasConcept C69562738 @default.
- W1565010992 hasConcept C74640108 @default.
- W1565010992 hasConcept C86803240 @default.
- W1565010992 hasConceptScore W1565010992C102993220 @default.
- W1565010992 hasConceptScore W1565010992C105795698 @default.
- W1565010992 hasConceptScore W1565010992C11413529 @default.
- W1565010992 hasConceptScore W1565010992C114614502 @default.
- W1565010992 hasConceptScore W1565010992C118615104 @default.
- W1565010992 hasConceptScore W1565010992C136197465 @default.
- W1565010992 hasConceptScore W1565010992C143724316 @default.
- W1565010992 hasConceptScore W1565010992C14523651 @default.
- W1565010992 hasConceptScore W1565010992C151730666 @default.
- W1565010992 hasConceptScore W1565010992C154945302 @default.
- W1565010992 hasConceptScore W1565010992C16221470 @default.
- W1565010992 hasConceptScore W1565010992C2780882242 @default.
- W1565010992 hasConceptScore W1565010992C33203268 @default.
- W1565010992 hasConceptScore W1565010992C33923547 @default.
- W1565010992 hasConceptScore W1565010992C41008148 @default.
- W1565010992 hasConceptScore W1565010992C69562738 @default.
- W1565010992 hasConceptScore W1565010992C74640108 @default.
- W1565010992 hasConceptScore W1565010992C86803240 @default.
- W1565010992 hasLocation W15650109921 @default.
- W1565010992 hasLocation W15650109922 @default.
- W1565010992 hasOpenAccess W1565010992 @default.
- W1565010992 hasPrimaryLocation W15650109921 @default.
- W1565010992 hasRelatedWork W1492881020 @default.
- W1565010992 hasRelatedWork W1980777597 @default.
- W1565010992 hasRelatedWork W2022840750 @default.
- W1565010992 hasRelatedWork W2055356006 @default.
- W1565010992 hasRelatedWork W2130935769 @default.
- W1565010992 hasRelatedWork W2142913681 @default.
- W1565010992 hasRelatedWork W2153912760 @default.
- W1565010992 hasRelatedWork W2371934321 @default.
- W1565010992 hasRelatedWork W2745149313 @default.
- W1565010992 hasRelatedWork W2928590033 @default.
- W1565010992 hasVolume "10" @default.
- W1565010992 isParatext "false" @default.
- W1565010992 isRetracted "false" @default.
- W1565010992 magId "1565010992" @default.
- W1565010992 workType "article" @default.