Majercik, Stephen M.

4 publications

AAAI 2005 DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently Stephen M. Majercik, Byron Boots

AAAI 1999 Contingent Planning Under Uncertainty via Stochastic Satisfiability Stephen M. Majercik, Michael L. Littman

AAAI 1999 Planning Under Uncertainty via Stochastic Statisfiability Stephen M. Majercik

AAAI 1998 Using Caching to Solve Larger Probabilistic Planning Problems Stephen M. Majercik, Michael L. Littman