Stephen M. Majercik - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2021

Stochastic Boolean SatisfiabilityStephen M. Majercik. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 1331-1369, IOS Press, 2021. [doi]

2017

A Swarm Environment for Experimental Performance and ImprovisationFrank Mauceri, Stephen M. Majercik. evoW 2017: 190-200 [doi]

2014

Using Fluid Neural Networks to Create Dynamic Neighborhood Topologies in Particle Swarm OptimizationStephen M. Majercik. antsw 2014: 270-277 [doi]

2013

GREEN-PSO: Conserving Function Evaluations in Particle Swarm OptimizationStephen M. Majercik. ijcci 2013: 160-167 [doi]

2012

Initial Experiments in Using Communication Swarms to Improve the Performance of Swarm SystemsStephen M. Majercik. iwsos 2012: 109-114 [doi]

Swarm-based path creation in dynamic environments for search and rescueWilliam K. Richard, Stephen M. Majercik. gecco 2012: 1401-1402 [doi]

2009

Stochastic Boolean SatisfiabilityStephen M. Majercik. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 887-925, IOS Press, 2009. [doi]

2007

APPSSAT: Approximate probabilistic planning using stochastic satisfiabilityStephen M. Majercik. ijar, 45(2):402-419, 2007. [doi]

2005

APPSSAT: Approximate Probabilistic Planning Using Stochastic SatisfiabilityStephen M. Majercik. ecsqaru 2005: 209-220 [doi]

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

2004

Nonchronological Backtracking in Stochastic Boolean SatisfiabilityStephen M. Majercik. ictai 2004: 498-507 [doi]

2003

Contingent planning under uncertainty via stochastic satisfiabilityStephen M. Majercik, Michael L. Littman. ai, 147(1-2):119-162, 2003. [doi]

2002

Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem EncodingsStephen M. Majercik, Andrew P. Rusczek. aips 2002: 163-172

2001

Stochastic Boolean SatisfiabilityMichael L. Littman, Stephen M. Majercik, Toniann Pitassi. JAR, 27(3):251-296, 2001.

1999

Planning Under Uncertainty via Stochastic StatisfiabilityStephen M. Majercik. AAAI 1999: 950

Contingent Planning Under Uncertainty via Stochastic SatisfiabilityStephen M. Majercik, Michael L. Littman. AAAI 1999: 549-556

1998

Using Caching to Solve Larger Probabilistic Planning ProblemsStephen M. Majercik, Michael L. Littman. AAAI 1998: 954-959

MAXPLAN: A New Approach to Probabilistic PlanningStephen M. Majercik, Michael L. Littman. aips 1998: 86-93

Sign in or sign up to see more results.

runs on WebDSL