主题词：Constraint Satisfaction and Optimization; Data Management and Algorithms; Formal Methods in Verification; Scheduling and Timetabling Solutions; Scheduling and Optimization Algorithms; AI-based Problem Solving and Planning; Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Advanced Database Systems and Queries; Model-Driven Software Engineering Techniques; Vehicle Routing Optimization Methods; Advanced Graph Theory Research; Semantic Web and Ontologies; Bayesian Modeling and Causal Inference; Resource-Constrained Project Scheduling; Optimization and Search Problems; Rough Sets and Fuzzy Logic; Data Mining Algorithms and Applications; Software Testing and Debugging Techniques; Complexity and Algorithms in Graphs; Algorithms and Data Compression; Numerical Methods and Algorithms; Multimedia Communication and Technology; Polynomial and algebraic computation; Machine Learning and Algorithms