Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem. Franco, J. & Paull, M. Discrete Applied Mathematics, 5:77–87, 1983. bibtex @article{Franco+Paull:1983,
author = "J. Franco and M. Paull",
title = "Probabilistic analysis of the {D}avis {P}utnam procedure for solving the satisfiability problem",
year = 1983,
journal = "Discrete Applied Mathematics",
volume = 5,
pages = "77--87"
}
Downloads: 0
{"_id":"BKk2A7GvHmaLpMDLz","bibbaseid":"franco-paull-probabilisticanalysisofthedavisputnamprocedureforsolvingthesatisfiabilityproblem-1983","author_short":["Franco, J.","Paull, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Franco"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Paull"],"suffixes":[]}],"title":"Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem","year":"1983","journal":"Discrete Applied Mathematics","volume":"5","pages":"77–87","bibtex":"@article{Franco+Paull:1983,\n\tauthor = \"J. Franco and M. Paull\",\n\ttitle = \"Probabilistic analysis of the {D}avis {P}utnam procedure for solving the satisfiability problem\",\n\tyear = 1983,\n\tjournal = \"Discrete Applied Mathematics\",\n\tvolume = 5,\n\tpages = \"77--87\"\n}\n\n","author_short":["Franco, J.","Paull, M."],"key":"Franco+Paull:1983","id":"Franco+Paull:1983","bibbaseid":"franco-paull-probabilisticanalysisofthedavisputnamprocedureforsolvingthesatisfiabilityproblem-1983","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","dataSources":["cx4WvnDhXJhiLqdQo"],"keywords":[],"search_terms":["probabilistic","analysis","davis","putnam","procedure","solving","satisfiability","problem","franco","paull"],"title":"Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem","year":1983}