Stephen M. Majercik

18 papers A* 1B 1C 3Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2021 — ch.
Stochastic Boolean Satisfiability.
Handbook of Satisfiability
Stephen M. Majercik
2017 C conf
A Swarm Environment for Experimental Performance and Improvisation.
EvoMUSART
Frank Mauceri, Stephen M. Majercik
2014 — conf
Using Fluid Neural Networks to Create Dynamic Neighborhood Topologies in Particle Swarm Optimization.
ANTS Conference
Stephen M. Majercik
2013 C conf
GREEN-PSO: Conserving Function Evaluations in Particle Swarm Optimization.
IJCCI
Stephen M. Majercik
2012 — conf
Initial Experiments in Using Communication Swarms to Improve the Performance of Swarm Systems.
IWSOS
Stephen M. Majercik
2012 — conf
Swarm-based path creation in dynamic environments for search and rescue.
GECCO (Companion)
William K. Richard, Stephen M. Majercik
2009 — ch.
Stochastic Boolean Satisfiability.
Handbook of Satisfiability
Stephen M. Majercik
2007 J jnl
APPSSAT: Approximate probabilistic planning using stochastic satisfiability.
Int. J. Approx. Reason.
Stephen M. Majercik
2005 C conf
APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability.
ECSQARU
Stephen M. Majercik
2005 A* conf
DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently.
AAAI
Stephen M. Majercik, Byron Boots
2004 B conf
Nonchronological Backtracking in Stochastic Boolean Satisfiability.
ICTAI
Stephen M. Majercik
2003 J jnl
Contingent planning under uncertainty via stochastic satisfiability.
Artif. Intell.
Stephen M. Majercik, Michael L. Littman
2002 — conf
Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings.
AIPS
Stephen M. Majercik, Andrew P. Rusczek
2001 J jnl
Stochastic Boolean Satisfiability.
J. Autom. Reason.
Michael L. Littman, Stephen M. Majercik, Toniann Pitassi
1999 — conf
Contingent Planning Under Uncertainty via Stochastic Satisfiability.
AAAI/IAAI
Stephen M. Majercik, Michael L. Littman
1999 — conf
Planning Under Uncertainty via Stochastic Statisfiability.
AAAI/IAAI
Stephen M. Majercik
1998 — conf
MAXPLAN: A New Approach to Probabilistic Planning.
AIPS
Stephen M. Majercik, Michael L. Littman
1998 — conf
Using Caching to Solve Larger Probabilistic Planning Problems.
AAAI/IAAI
Stephen M. Majercik, Michael L. Littman