Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning
Structure Selection from Streaming Relational Data
Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Structured Knowledge Representation for Image Retrieval
Suboptimality Bounds for Stochastic Shortest Path Problems
Sunspot prediction using neural networks
Super Logic Programs
Superposition for Fixed Domains
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets
Sur le statut référentiel des entités nommées
Swarm-Based Spatial Sorting
Swarming around Shellfish Larvae
Swarms on Continuous Data
Switcher-random-walks: a cognitive-inspired mechanism for network exploration
Symbolic Dynamic Programming for Discrete and Continuous State MDPs
Symmetries of Symmetry Breaking Constraints
Symmetries of Symmetry Breaking Constraints
Symmetry Breaking Constraints: Recent Results
Symmetry Breaking for Maximum Satisfiability
Symmetry Breaking Using Value Precedence