#### Filter Results:

#### Publication Year

1984

2009

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
- Satisfiability Problem: Theory and Applications
- 1996

The satissability (SAT) problem is a core problem in mathematical logic and computing theory. In practice, SAT is fundamental in solving many problems in automated reasoning, computer-aided design, computer-aided manufacturing, machine vision, database, robotics, integrated circuit design, computer architecture design, and computer network design.… (More)

- Paul W. Purdom
- IEEE Transactions on Pattern Analysis and Machine…
- 1984

A new technique, complement searching, is given for reducing the amount of searching required to solve satisfiability (constraint satisfaction) problems. Search trees for these problems often contain subtrees that have approximately the same shape. When this occurs, knowledge that the first subtree does not have a solution can be used to reduce the… (More)

- Paul W. Purdom, Dirk Van Gucht, Dennis P. Groth
- SIAM J. Comput.
- 2004

The Apriori Algorithm examines baskets of items to determine which subsets of the items occur in lots of baskets. Suppose we wish to determine which items sets occur in at least k baskets. The algorithm considers item sets of size l in the order l = 1, 2, : : :. The only way this algorithm can determine that a set occurs at least k times is to count the k… (More)

- Nele Dexters, Paul W. Purdom, Dirk Van Gucht
- SAC
- 2006

This paper explores the generation of candidates, which is an important step in frequent itemset mining algorithms, from a theoretical point of view. Important notions in our probabilistic analysis are success (a candidate that is frequent), and failure (a candidate that is infrequent). For a selection of candidate-based frequent itemset mining algorithms,… (More)

- J Devin Mcauley, Michael Gasser, +5 authors Gary Mc
- 1993

Graw and Catherine Rogers for their constructive comments and criticism during the development of this manuscript.

- Nele Dexters, Paul W. Purdom, Dirk Van Gucht
- PKDD
- 2006

We analyze algorithms that, under the right circumstances, permit efficient mining for frequent itemsets in data with tall peaks (large frequent itemsets). We develop a family of level-by-level peak-jumping algorithms , and study them using a simple probability model. The analysis clarifies why the jumping idea sometimes works well, and which properties the… (More)

- Paul W. Purdom, Daniel Le Berre, Laurent Simon
- Ann. Math. Artif. Intell.
- 2005

Since the introduction of the Frequent Itemset Mining (FIM) problem, several different algorithms for solving it were proposed and experimentally analyzed. Our work focusses on the theoretical analysis of FIM. The aim is to give a detailed probabilistic study of the performance of FIM algorithms for different data distributions. It is joint work with Dirk… (More)

- Timothy J. Rolfe, Paul W. Purdom
- ITiCSE-WGR
- 2004

One of the programming problems in the 2002 Pacific Northwest regional ACM ICPC contest provides a new way to teach backtracking and also provides a very powerful example of a forward-looking bounding function. This article presents the problem, the bounding function, and timing information of implementations with and without the bounding function. It also… (More)