On the Satisfiability of Complex Constraints

2118
Back to Articles Dashboard

Related Entities

CLG тәсілі

Method

Күрделі шектеулер

Material

Есептеу лингвистикасы

Task

Минималды модельдерді генерациялау

Task

NP-қаттылық

Metric

Қанағаттандыруды тексеру

Task