. . . . . “Libor Barto等人：有限结构上的约束满足问题。（2021）”。 . . _：ID_a6f0ce6cf31141fe86e60a8338bd96bd。_：ID_a6f0ce6cf31141fe86e60a8338bd96bd ._：ID_a6f0ce6cf31141fe86e60a8338bd96bd ._：ID_a6f0ce6cf31141fe86e60a8338bd96bd“conf/lics/BartoDM21”。 _：ID_6a57d415c1581541ad7a3c49ceac0b96。_：ID_6a57d415c1581541ad7a3c49ceac0b96 ._：ID_6a57d415c1581541ad7a3c49ceac0b96 ._：ID_6a57d415c1581541ad7a3c49ceac0b96“10.1109/LICS52264.2021.9470670”。 “有限结构上的约束满足问题”。 . . . . "3"^^. _：Sig_453ff5bd16fd0dba253531d35ca96279_1。_：Sig_453ff5bd16fd0dba253531d35ca96279_1 ._：Sig_453ff5bd16fd0dba253531d35ca96279_1“Libor Barto”。_：Sig_453ff5bd16fd0dba253531d35ca96279_1 ._：Sig_453ff5bd16fd0dba253531d35ca96279_1 ._：Sig_453ff5bd16fd0dba253531d35ca96279_1"1"^^._：Sig_453ff5bd16fd0dba253531d35ca96279_1 . _：Sig_453ff5bd16fd0dba253531d35ca96279_2。_：Sig_453ff5bd16fd0dba253531d35ca96279_2 ._：Sig_453ff5bd16fd0dba253531d35ca96279_2“William J.DeMeo”。_：Sig_453ff5bd16fd0dba253531d35ca96279_2 ._：Sig_453ff5bd16fd0dba253531d35ca96279_2"2"^^._：Sig_453ff5bd16fd0dba253531d35ca96279_2 . _：Sig_453ff5bd16fd0dba253531d35ca96279_3。_：Sig_453ff5bd16fd0dba253531d35ca96279_3 ._：Sig_453ff5bd16fd0dba253531d35ca96279_3“安托万·莫特特”。_：Sig_453ff5bd16fd0dba253531d35ca96279_3 ._：Sig_453ff5bd16fd0dba253531d35ca96279_3 ._：Sig_453ff5bd16fd0dba253531d35ca96279_3"3"^^._：Sig_453ff5bd16fd0dba253531d35ca96279_3 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/BartoDM21'的RDF数据的起源信息”。 . . . “2022-12-07T23:12:32+0100”。