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.org/rec/journals/corr/abs-1011-2685.nt
. . "Nuno P. Lopes et al.: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability (2010)" . _:ID_7cb2b05c80c49c639158fdf360fdb322 . _:ID_7cb2b05c80c49c639158fdf360fdb322 . _:ID_7cb2b05c80c49c639158fdf360fdb322 . _:ID_7cb2b05c80c49c639158fdf360fdb322 . _:ID_7cb2b05c80c49c639158fdf360fdb322 "journals/corr/abs-1011-2685" . _:ID_08685dd8be82b510381cc1777fa2fcd4 . _:ID_08685dd8be82b510381cc1777fa2fcd4 . _:ID_08685dd8be82b510381cc1777fa2fcd4 . _:ID_08685dd8be82b510381cc1777fa2fcd4 . _:ID_08685dd8be82b510381cc1777fa2fcd4 "1011.2685" . "Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability" . . . . . . . . . . "4"^^ . _:Sig_036277fc7f41f01f1808c5935f7b06de_1 . _:Sig_036277fc7f41f01f1808c5935f7b06de_1 . _:Sig_036277fc7f41f01f1808c5935f7b06de_1 . _:Sig_036277fc7f41f01f1808c5935f7b06de_1 "Nuno P. Lopes" . _:Sig_036277fc7f41f01f1808c5935f7b06de_1 . _:Sig_036277fc7f41f01f1808c5935f7b06de_1 "1"^^ . _:Sig_036277fc7f41f01f1808c5935f7b06de_1 . _:Sig_036277fc7f41f01f1808c5935f7b06de_2 . _:Sig_036277fc7f41f01f1808c5935f7b06de_2 . _:Sig_036277fc7f41f01f1808c5935f7b06de_2 . _:Sig_036277fc7f41f01f1808c5935f7b06de_2 "Levent Aksoy" . _:Sig_036277fc7f41f01f1808c5935f7b06de_2 . _:Sig_036277fc7f41f01f1808c5935f7b06de_2 "2"^^ . _:Sig_036277fc7f41f01f1808c5935f7b06de_2 . _:Sig_036277fc7f41f01f1808c5935f7b06de_3 . _:Sig_036277fc7f41f01f1808c5935f7b06de_3 . _:Sig_036277fc7f41f01f1808c5935f7b06de_3 . _:Sig_036277fc7f41f01f1808c5935f7b06de_3 "Vasco Manquinho" . _:Sig_036277fc7f41f01f1808c5935f7b06de_3 . _:Sig_036277fc7f41f01f1808c5935f7b06de_3 "3"^^ . _:Sig_036277fc7f41f01f1808c5935f7b06de_3 . _:Sig_036277fc7f41f01f1808c5935f7b06de_4 . _:Sig_036277fc7f41f01f1808c5935f7b06de_4 . _:Sig_036277fc7f41f01f1808c5935f7b06de_4 . _:Sig_036277fc7f41f01f1808c5935f7b06de_4 "Jos\u00E9 Monteiro 0001" . _:Sig_036277fc7f41f01f1808c5935f7b06de_4 . _:Sig_036277fc7f41f01f1808c5935f7b06de_4 "4"^^ . _:Sig_036277fc7f41f01f1808c5935f7b06de_4 . . . . . "CoRR" . "CoRR" . "abs/1011.2685" . "2010"^^ . "provenance information for RDF data of dblp record 'journals/corr/abs-1011-2685'" . . . . "2024-09-17T09:06:30+0200" .