Stephen M. Majercik

According to our database, Stephen M. Majercik authored at least 16 papers between 1998 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Stochastic Boolean Satisfiability.

Stephen M. Majercik

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

2017

A Swarm Environment for Experimental Performance and Improvisation.

Frank Mauceri, Stephen M. Majercik

Proceedings of the Computational Intelligence in Music, Sound, Art and Design, 2017

2014

Using Fluid Neural Networks to Create Dynamic Neighborhood Topologies in Particle Swarm Optimization.

Stephen M. Majercik

Proceedings of the Swarm Intelligence - 9th International Conference, 2014

2013

GREEN-PSO: Conserving Function Evaluations in Particle Swarm Optimization.

Stephen M. Majercik

Proceedings of the IJCCI 2013, 2013

2012

Initial Experiments in Using Communication Swarms to Improve the Performance of Swarm Systems.

Stephen M. Majercik

Proceedings of the Self-Organizing Systems - 6th IFIP TC 6 International Workshop, 2012

Swarm-based path creation in dynamic environments for search and rescue.

William K. Richard, Stephen M. Majercik

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2009

Stochastic Boolean Satisfiability.

Stephen M. Majercik

Proceedings of the Handbook of Satisfiability, 2009

2007

APPSSAT: Approximate probabilistic planning using stochastic satisfiability.

Stephen M. Majercik

Int. J. Approx. Reason., 2007

2005

DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently.

Stephen M. Majercik, Byron Boots

Proceedings of the Proceedings, 2005

2004

Nonchronological Backtracking in Stochastic Boolean Satisfiability.

Stephen M. Majercik

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003

Contingent planning under uncertainty via stochastic satisfiability.

Stephen M. Majercik, Michael L. Littman

Artif. Intell., 2003

2002

Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings.

Stephen M. Majercik, Andrew P. Rusczek

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

Stochastic Boolean Satisfiability.

Michael L. Littman, Stephen M. Majercik, Toniann Pitassi

J. Autom. Reason., 2001

1999

Planning Under Uncertainty via Stochastic Statisfiability.

Stephen M. Majercik

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

MAXPLAN: A New Approach to Probabilistic Planning.

Stephen M. Majercik, Michael L. Littman

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Using Caching to Solve Larger Probabilistic Planning Problems.

Stephen M. Majercik, Michael L. Littman

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998