. . . “Markus N.Rabe和Leander Tentrup:用Clausal抽象综合布尔函数。（2018）”。 _：ID_000f17a3f265146162930ffe3730ad62。_：ID_000f17a3f265146162930ffe3730ad62 ._：ID_000f17a3f265146162930ffe3730ad62 ._：ID_000f17a3f265146162930ffe3730ad62“日记账/corr/abs-1808-08759”。 _：ID_0f4106f53cda26f4c43c5d5ad85fc754。_：ID_0f4106f53cda26f4c43c5d5ad85fc754 ._：ID_0f4106f53cda26f4c43c5d5ad85fc754 ._：ID_0f4106f53cda26f4c43c5d5ad85fc754"1808.08759" . “带子句抽象的布尔函数合成”。 . . . "2"^^. _：Sig_ecf13680e6f8afa54f752edb2bc448a6_1。_：Sig_ecf13680e6f8afa54f752edb2bc448a6_1 ._：Sig_ecf13680e6f8afa54f752edb2bc448a6_1“马库斯·拉贝”。_：Sig_ecf13680e6f8afa54f752edb2bc448a6_1 ._：Sig_ecf13680e6f8afa54f752edb2bc448a6_1"1"^^._：Sig_ecf13680e6f8afa54f752edb2bc448a6_1 . _：Sig_ecf13680e6f8afa54f752edb2bc448a6_2。_：Sig_ecf13680e6f8afa54f752edb2bc448a6_2 ._：Sig_ecf13680e6f8afa54f752edb2bc448a6_2“Leander Tentrup”。_：Sig_ecf13680e6f8afa54f752edb2bc448a6_2 ._：Sig_ecf13680e6f8afa54f752edb2bc448a6_2"2"^^._：Sig_ecf13680e6f8afa54f752edb2bc448a6_2 . . . . “CoRR”。 “CoRR”。 “abs/1808.08759”。 "2018"^^. “dblp记录'journals/corr/abs-1808-08759'的RDF数据的来源信息”。 . . . “2018-09-02T15:01:56+0200”。