We investigate a new class of metrics to find good variable orders for decision diagrams in symbolic state-space generation. Most of the previous work on static ordering is centered around the concept of minimum variable span, which can also be found in the literature under several other names. We use a similar concept, but applied to event span, and generalize it to a family of metrics paramet...

Many new algorithms for solving constraint satisfaction problems have been proposed in recent years. Their performance is usually compared with some other algorithms by measuring the number of compatibility checks or the cpu time that the algorithms need for solving a predetermined set of problems. There are some studies which compare algorithms without using any variable ordering heuristics. W...

1. The Effect of Response Level Ordering on Parameter Estimate Interpretation 2. Odds Ratios 2.1 Binary Explanatory Variable Modeling the Event 2.2 Binary Explanatory Variable Modeling the Nonevent 2.3 Continuous Explanatory Variable 3. Predicted Probabilities 4. Predicted by Observed Classification Tables 4.1 Classification Using Predicted Probabilities 4.2 Classification Using Bias-adjusted P...

A $Gamma$-so-ring is a structure possessing a natural partial ordering, an infinitary partial addition and a ternary multiplication, subject to a set of axioms. The partial functions under disjoint-domain sums and functional composition is a $Gamma$-so-ring. In this paper we introduce the notions of subdirect product and $(phi,rho)$-product of $Gamma$-so-rings and study $(phi,rho)$-represen...

Symbolic search using BDDs usually saves huge amounts of memory, while in some domains its savings are moderate at best. It is an open problem to determine if BDDs work well for a certain domain. Motivated by finding evidences for BDD growths for state space search, in this paper we are concerned with symbolic search in the domain of CONNECT FOUR. We prove that there is a variable ordering for ...