Dependent QBFの標準フォーマットはありますか?

私は、数式の標準入力形式DIMACSが結合論理式(CNF)であり、定量化されたブール式ではQDIMACSであることを知っています。
Dependent-QBF(DQBF)にも同様の標準フォーマットがありますか?

ベストアンサー

標準フォーマットが提案されています。 QBFEVAL’18
にはDQBF-trackがあります。これはFöhlichet al IDQについて。

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です