. . . . . “林廷伟等人：二元逻辑可满足性的更有效方法。（2021）”。 . . _：ID_e4fd5fbc25e05f00cb3605752088e33f。_：ID_e4fd5fbc25e05f00cb3605752088e33f ._：ID_e4fd5fbc25e05f00cb3605752088e33f ._：ID_e4fd5fbc25e05f00cb3605752088e33f“conf/lics/LinLT21”。 _：ID_135c98312d6363c332ee29aaa2fc57d0。_：ID_135c98312d6363c332ee29aaa2fc57d0 ._：ID_135c98312d6363c332ee29aaa2fc57d0 ._：ID_135c98312d6363c332ee29aaa2fc57d0“10.1109/LICS52264.2021.9470502”。 “寻求一种更有效的方法来实现二元逻辑的可满足性。”。 . . . . "3"^^. _：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_1。_：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_1 ._：信号_9cf72fb60f1d48bc832fd56f09c5ccfb_1“林廷伟”。_：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_1 ._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_1"1"^^._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_1 . _：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_2。_：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_2 ._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_2“嘉宣路”。_：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_2 ._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_2"2"^^._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_2 . _：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_3。_：信号_9cf72fb60f1d48bc832fd56f09c5ccfb_3 ._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_3“Tony Tan”。_：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_3 ._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_3"3"^^._：Sig_9cf72fb60f1d48bc832fd56f09c5ccfb_3 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/LinLT21'的RDF数据的来源信息”。 . . . “2021-07-09T14:36:19+0200”。