logo
constraint programming (CP)

Kết quả hội nghị (2)

International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR)

Rank: BOffline
Melbourne, Australia
Nov 10, 2025 - Nov 13, 2025
Constraint Programming (CP)Artificial Intelligence (AI)Operations Research (OR)+22 thêm

International Conference on Theory and Applications of Satisfiability Testing (SAT)

Rank: AOffline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability TestingPropositional SatisfiabilityBoolean optimization+18 thêm