Abstract (Soft) Constraint Satisfaction Problems (SCSPs) are expressive and well-studied
formalisms to represent and solve constraint-satisfaction and optimization problems. A …

Современный этап развития нашей страны и мирового сообщества характеризуется
значительными изменениями как в экономической, так и в социальной сферах жизни …

The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most
intensely developed applications of rewriting theoretical methods in the life sciences to date …

Decision making in the area of private motorized transport (PMT) generally involves a trade-
off between savings in travel time and cost and improvements of travel comfort. Travel …

Complex problems can be sometimes solved efficiently via recursive decomposition
strategies. In this line, the tree decomposition approach equips problems modelled as …

Complex problems can be sometimes solved efficiently via recursive decomposition
strategies. In this line, the tree decomposition approach equips problems modelled as …

This deliverable reports on the WP2 activities that have been conducted during months 13–
24. In Task 2.1 we further pursued the investigation on the theoretical foundations of …

Tóm tắt Quy hoạch động đã được chứng minh là một phương pháp hiệu quả để giải các lớp
bài toán tối ưu trong những năm gần đây. Việc nghiên cứu các kỹ thuật cụ thể của quy …