Solving Highly Constrained Search Problems with Quantum Computers

Solving Hybrid Influence Diagrams with Deterministic Variables

Solving Limited Memory Influence Diagrams

Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries

Solving Multistage Influence Diagrams using Branch-and-Bound Search

Solving planning domains with polytree causal graphs is NP-complete

Solving Rubik's Cube Using SAT Solvers

Solving Set Constraint Satisfaction Problems using ROBDDs

Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation

Solving the Satisfiability Problem Through Boolean Networks

Some improved results on communication between information systems

Some logics of belief and disbelief

Some Remarks on Boolean Constraint Propagation

Sonet Network Design Problems

Space Climate and Space Weather: Exploration and Forecasts

Space exploration: The interstellar goal and Titan demonstration

Space-contained conflict revision, for geographic information

Spacecraft command and control using artificial intelligence techniques

Spacecraft Health Automated Reasoning Prototype (SHARP): The fiscal year 1989 SHARP portability evaluations task for NASA Solar System Exploration Division's Voyager project

Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video