iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/ssiri/XiaoWPG10.nt
. . . . . "Hao Xiao et al.: Constraint Checking for XML-Based Language Specification by SAT Solver. (2010)" . . _:ID_982e290428b7b915f19e382ba2df9416 . _:ID_982e290428b7b915f19e382ba2df9416 . _:ID_982e290428b7b915f19e382ba2df9416 . _:ID_982e290428b7b915f19e382ba2df9416 . _:ID_982e290428b7b915f19e382ba2df9416 "conf/ssiri/XiaoWPG10" . _:ID_b4315bd5bf68b692fabfe633c065361a . _:ID_b4315bd5bf68b692fabfe633c065361a . _:ID_b4315bd5bf68b692fabfe633c065361a . _:ID_b4315bd5bf68b692fabfe633c065361a . _:ID_b4315bd5bf68b692fabfe633c065361a "10.1109/SSIRI-C.2010.15" . "Constraint Checking for XML-Based Language Specification by SAT Solver." . . . . . . . . . . "4"^^ . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_1 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_1 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_1 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_1 "Hao Xiao" . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_1 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_1 "1"^^ . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_1 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_2 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_2 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_2 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_2 "Zheng Wang 0005" . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_2 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_2 "2"^^ . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_2 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_3 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_3 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_3 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_3 "Geguang Pu" . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_3 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_3 "3"^^ . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_3 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_4 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_4 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_4 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_4 "Bin Gu 0006" . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_4 . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_4 "4"^^ . _:Sig_b4f8f9a8cb7adc590e6908d045a2b75a_4 . . . . . . "26-27" . "SSIRI (Companion)" . "SSIRI (Companion)" . "2010"^^ . "2010"^^ . . "provenance information for RDF data of dblp record 'conf/ssiri/XiaoWPG10'" . . . . "2023-03-24T00:04:59+0100" .