制約 せいやく充足 じゅうそく問題 もんだいだろう
seiyakujūsokumondaidarō

Noun
Da Copula

Expresses probability ("probably…") of 制約充足問題

1. Probably a constraint satisfaction problem.

Presumptive
Conjecture