%0 Conference Paper %1 conf/micai/LopezMIV17 %A Medina, Marco A. López %A Marcial-Romero, José Raymundo %A Ita, Guillermo De %A Valdovinos, Rosa Maria %B MICAI (1) %D 2017 %E Castro, Félix %E Miranda-Jiménez, Sabino %E González-Mendoza, Miguel %I Springer %K dblp %P 95-106 %T A Fast and Efficient Method for #2SAT via Graph Transformations. %U http://dblp.uni-trier.de/db/conf/micai/micai2017-1.html#LopezMIV17 %V 10632 %@ 978-3-030-02837-4

@inproceedings{conf/micai/LopezMIV17, added-at = {2023-09-30T00:00:00.000+0200}, author = {Medina, Marco A. López and Marcial-Romero, José Raymundo and Ita, Guillermo De and Valdovinos, Rosa Maria}, biburl = {https://www.bibsonomy.org/bibtex/21cf419fff5e21d2ccd84acd500490ba0/dblp}, booktitle = {MICAI (1)}, crossref = {conf/micai/2017-1}, editor = {Castro, Félix and Miranda-Jiménez, Sabino and González-Mendoza, Miguel}, ee = {https://doi.org/10.1007/978-3-030-02837-4_8}, interhash = {4c4ddcc743b859b530fd83d3ee57ab84}, intrahash = {1cf419fff5e21d2ccd84acd500490ba0}, isbn = {978-3-030-02837-4}, keywords = {dblp}, pages = {95-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:31:01.000+0200}, title = {A Fast and Efficient Method for #2SAT via Graph Transformations.}, url = {http://dblp.uni-trier.de/db/conf/micai/micai2017-1.html#LopezMIV17}, volume = 10632, year = 2017 }