制約 せいやく充足 じゅうそく問題 もんだいであれば
seiyakujūsokumondaideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 制約充足問題

1. If it is a constraint satisfaction problem; When it is a constraint satisfaction problem

Ba Conditional