Using Caching to Solve Larger Probabilistic Planning Problems. - Stephen M. Majercik; Michael L. Littman (AAAI/IAAI, 1998)

MAXPLAN: A New Approach to Probabilistic Planning. - Stephen M. Majercik; Michael L. Littman (AIPS, 1998)

Planning Under Uncertainty via Stochastic Statisfiability. - Stephen M. Majercik (AAAI/IAAI, 1999)

Contingent Planning Under Uncertainty via Stochastic Satisfiability. - Stephen M. Majercik; Michael L. Littman (AAAI/IAAI, 1999)

Stochastic Boolean Satisfiability. - Michael L. Littman; Stephen M. Majercik; Toniann Pitassi (J. Autom. Reason., 2001)

Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings. - Stephen M. Majercik; Andrew P. Rusczek (AIPS, 2002)

Nonchronological Backtracking in Stochastic Boolean Satisfiability. - Stephen M. Majercik (ICTAI, 2004)

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

APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability. - Stephen M. Majercik (ECSQARU, 2005)

Stochastic Boolean Satisfiability. - Stephen M. Majercik (Handbook of Satisfiability, 2009)

Swarm-based path creation in dynamic environments for search and rescue. - William K. Richard; Stephen M. Majercik (GECCO (Companion), 2012)

Initial Experiments in Using Communication Swarms to Improve the Performance of Swarm Systems. - Stephen M. Majercik (IWSOS, 2012)

GREEN-PSO: Conserving Function Evaluations in Particle Swarm Optimization. - Stephen M. Majercik (IJCCI, 2013)

Using Fluid Neural Networks to Create Dynamic Neighborhood Topologies in Particle Swarm Optimization. - Stephen M. Majercik (ANTS Conference, 2014)

A Swarm Environment for Experimental Performance and Improvisation. - Frank Mauceri; Stephen M. Majercik (EvoMUSART, 2017)

Stochastic Boolean Satisfiability. - Stephen M. Majercik (Handbook of Satisfiability, 2021)