Solar Energetic Particle Events: Phenomenology and Prediction

Solution Representations and Local Search for the bi-objective Inventory Routing Problem

Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling

Solving Constraint Satisfaction Problems through Belief Propagation-guided decimation

Solving Factored MDPs with Hybrid State and Action Variables

Solving Functional Constraints by Variable Substitution

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