default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Guillermo De Ita Luna
@article{DBLP:journals/ijcopi/LunaVL23,
author = {Guillermo De Ita Luna and
Mireya Tovar Vidal and
Mar{\'{\i}}a Beatr{\'{\i}}z {Bern{\'{a}}be Loranca}},
title = {A Novel Method for Counting Independent Sets in a Grid Graph},
journal = {Int. J. Comb. Optim. Probl. Informatics},
volume = {14},
number = {1},
pages = {11--18},
year = {2023},
url = {https://ijcopi.org/ojs/article/view/334},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcopi/LunaVL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcopi/ItaLG23,
author = {Guillermo De Ita and
Pedro Bello L{\'{o}}pez and
Meliza Contreras Gonz{\'{a}}lez},
title = {Extreme Topologies on Bipolygonal Graphs and Dinamic Trees},
journal = {Int. J. Comb. Optim. Probl. Informatics},
volume = {14},
number = {1},
pages = {19--26},
year = {2023},
url = {https://ijcopi.org/ojs/article/view/335},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcopi/ItaLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/OsunaGonzalezL23,
author = {Reynold Osuna{-}Gonz{\'{a}}lez and
Guillermo De Ita Luna},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Ana Maria A. C. Rocha and
Chiara Garau and
Francesco Scorza and
Yeliz Karaca and
Carmelo M. Torre},
title = {Building a Network Knowledge Base Based on a Belief Revision Operator},
booktitle = {Computational Science and Its Applications - {ICCSA} 2023 Workshops
- Athens, Greece, July 3-6, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14104},
pages = {3--14},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37105-9\_1},
doi = {10.1007/978-3-031-37105-9\_1},
timestamp = {Thu, 13 Jul 2023 14:30:35 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/OsunaGonzalezL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/ItaB22,
author = {Guillermo De Ita and
Pedro Bello},
title = {Model Checking Algorithm for Repairing Inference between Conjunctive
Forms},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {26},
number = {1},
year = {2022},
url = {https://doi.org/10.13053/cys-26-1-4152},
doi = {10.13053/CYS-26-1-4152},
timestamp = {Fri, 03 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cys/ItaB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/MedinaMLH22,
author = {Marco A. L{\'{o}}pez Medina and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
title = {A method for counting models on grid Boolean formulas},
journal = {J. Intell. Fuzzy Syst.},
volume = {42},
number = {5},
pages = {4719--4726},
year = {2022},
url = {https://doi.org/10.3233/JIFS-219259},
doi = {10.3233/JIFS-219259},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/MedinaMLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icprai/GonzalezVLR22,
author = {Erick Barrios Gonz{\'{a}}lez and
Mireya Tovar Vidal and
Guillermo De Ita Luna and
Jos{\'{e}} Alejandro Reyes{-}Ort{\'{\i}}z},
editor = {Mounim A. El{-}Yacoubi and
Eric Granger and
Pong Chi Yuen and
Umapada Pal and
Nicole Vincent},
title = {Extraction of Entities in Health Domain Documents Using Recurrent
Neural Networks},
booktitle = {Pattern Recognition and Artificial Intelligence - Third International
Conference, {ICPRAI} 2022, Paris, France, June 1-3, 2022, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13364},
pages = {395--406},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09282-4\_33},
doi = {10.1007/978-3-031-09282-4\_33},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icprai/GonzalezVLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/VelazquezLGL22,
author = {Rogelio Gonz{\'{a}}lez Vel{\'{a}}zquez and
Mar{\'{\i}}a Beatr{\'{\i}}z {Bern{\'{a}}be Loranca} and
Erika Granillo{-}Mart{\'{\i}}nez and
Guillermo De Ita Luna},
editor = {Ajith Abraham and
Sabri Pllana and
Gabriella Casalino and
Kun Ma and
Anu Bajaj},
title = {Territorial Design and Vehicle Routing Problem Applied to the Population
Census as a Case Study},
booktitle = {Intelligent Systems Design and Applications - 22nd International Conference
on Intelligent Systems Design and Applications {(ISDA} 2022) Held
December 12-14, 2022 - Volume 1},
series = {Lecture Notes in Networks and Systems},
volume = {646},
pages = {404--415},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27440-4\_39},
doi = {10.1007/978-3-031-27440-4\_39},
timestamp = {Thu, 22 Feb 2024 09:42:25 +0100},
biburl = {https://dblp.org/rec/conf/isda/VelazquezLGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/GonzalezVL21,
author = {Meliza Contreras Gonz{\'{a}}lez and
Mireya Tovar Vidal and
Guillermo De Ita Luna},
title = {Caracterizaci{\'{o}}n de complejidad sem{\'{a}}ntica en
pasajes tipo {TOEFL}},
journal = {Rev. Colomb. de Computaci{\'{o}}n},
volume = {22},
number = {2},
pages = {72--79},
year = {2021},
url = {https://doi.org/10.29375/25392115.4301},
doi = {10.29375/25392115.4301},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcc/GonzalezVL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/GonzalezVI21,
author = {Meliza Contreras Gonz{\'{a}}lez and
Mireya Tovar Vidal and
Guillermo De Ita},
editor = {Edgar Roman{-}Rangel and
{\'{A}}ngel Fernando Kuri Morales and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez},
title = {Inferential Rules for Identifying Answers in {TOEFL} Texts},
booktitle = {Pattern Recognition - 13th Mexican Conference, {MCPR} 2021, Mexico
City, Mexico, June 23-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12725},
pages = {13--22},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77004-4\_2},
doi = {10.1007/978-3-030-77004-4\_2},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/GonzalezVI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/BelloRI21,
author = {Pedro Bello and
Miguel Rodr{\'{\i}}guez and
Guillermo De Ita},
editor = {Edgar Roman{-}Rangel and
{\'{A}}ngel Fernando Kuri Morales and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez},
title = {Extremal Topologies for the Merrifield-Simmons Index on Dynamic Trees},
booktitle = {Pattern Recognition - 13th Mexican Conference, {MCPR} 2021, Mexico
City, Mexico, June 23-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12725},
pages = {68--77},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77004-4\_7},
doi = {10.1007/978-3-030-77004-4\_7},
timestamp = {Fri, 03 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcpr2/BelloRI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Gonzalez-RuizMH21,
author = {J. Leonardo Gonz{\'{a}}lez{-}Ruiz and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Guillermo De Ita},
editor = {Ildar Z. Batyrshin and
Alexander F. Gelbukh and
Grigori Sidorov},
title = {Approximate the Clique-Width of a Graph Using Shortest Paths},
booktitle = {Advances in Soft Computing - 20th Mexican International Conference
on Artificial Intelligence, {MICAI} 2021, Mexico City, Mexico, October
25-30, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13068},
pages = {337--347},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89820-5\_27},
doi = {10.1007/978-3-030-89820-5\_27},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/Gonzalez-RuizMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/GonzalezVLL20,
author = {Meliza Contreras Gonz{\'{a}}lez and
Mireya Tovar Vidal and
Guillermo De Ita Luna and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez},
title = {Knowledge Representation in {TOEFL} Expository Texts},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {24},
number = {2},
year = {2020},
url = {https://doi.org/10.13053/cys-24-2-3375},
doi = {10.13053/CYS-24-2-3375},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cys/GonzalezVLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ItaMS20,
author = {Guillermo De Ita and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
title = {A bottom-up algorithm for solving {\unicode{9839}}2SAT},
journal = {Log. J. {IGPL}},
volume = {28},
number = {6},
pages = {1130--1140},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzaa009},
doi = {10.1093/JIGPAL/JZAA009},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ItaMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/JesusLV20,
author = {Yadira Laureano de J{\'{e}}sus and
Guillermo De Ita Luna and
Mireya Tovar Vidal},
title = {Detecci{\'{o}}n autom{\'{a}}tica de zonas de alto riesgo
de eventos delictivos a trav{\'{e}}s de noticias period{\'{\i}}sticas},
journal = {Res. Comput. Sci.},
volume = {149},
number = {8},
pages = {213--225},
year = {2020},
url = {https://rcs.cic.ipn.mx/2020\_149\_8/Deteccion\%20automatica\%20de\%20zonas\%20de\%20alto\%20riesgo\%20de\%20eventos\%20delictivos\%20a\%20traves\%20de\%20noticias\%20periodisticas.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/JesusLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/LopezLGH20,
author = {Pedro Bello L{\'{o}}pez and
Guillermo De Ita Luna and
Meliza Contreras Gonz{\'{a}}lez and
Miguel Rodr{\'{\i}}guez Hern{\'{a}}ndez},
title = {Algoritmo para el conteo de modelos en {FNC}},
journal = {Res. Comput. Sci.},
volume = {149},
number = {11},
pages = {147--158},
year = {2020},
url = {https://rcs.cic.ipn.mx/2020\_149\_11/Algoritmo\%20para\%20el\%20conteo\%20de\%20modelos\%20en\%20FNC.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/LopezLGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/ItaRBC20,
author = {Guillermo De Ita and
Miguel Rodr{\'{\i}}guez and
Pedro Bello and
Meliza Contreras},
editor = {Karina Mariela Figueroa{-}Mora and
Juan Anzurez Mar{\'{\i}}n and
Jaime Cerd{\'{a}} Jacobo and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez},
title = {Basic Pattern Graphs for the Efficient Computation of Its Number of
Independent Sets},
booktitle = {Pattern Recognition - 12th Mexican Conference, {MCPR} 2020, Morelia,
Mexico, June 24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12088},
pages = {57--66},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49076-8\_6},
doi = {10.1007/978-3-030-49076-8\_6},
timestamp = {Wed, 28 Feb 2024 00:16:32 +0100},
biburl = {https://dblp.org/rec/conf/mcpr2/ItaRBC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/MedinaMLH20,
author = {Marco A. L{\'{o}}pez Medina and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
editor = {Lourdes Mart{\'{\i}}nez{-}Villase{\~{n}}or and
Oscar Herrera{-}Alc{\'{a}}ntara and
Hiram E. Ponce and
F{\'{e}}lix Castro{-}Espinoza},
title = {A Linear Time Algorithm for Counting {\#}2SAT on Series-Parallel Formulas},
booktitle = {Advances in Soft Computing - 19th Mexican International Conference
on Artificial Intelligence, {MICAI} 2020, Mexico City, Mexico, October
12-17, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12468},
pages = {437--447},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60884-2\_33},
doi = {10.1007/978-3-030-60884-2\_33},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/MedinaMLH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Lopez-RamirezGL19,
author = {Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and
Jorge Eduardo Guti{\'{e}}rrez{-}G{\'{o}}mez and
Guillermo De Ita Luna},
editor = {Pilar Pozos Parra and
Jos{\'{e}} Raymundo Marcial{-}Romero},
title = {Building a Maximal Independent Set for the Vertex-coloring Problem
on Planar Graphs},
booktitle = {Selected Papers of the Eleventh and Twelfth Latin American Workshop
on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR}
2018, Puebla, Mexico, November 15, 2018 {\&} {LANMR} 2019, Puebla,
Mexico, November 15, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {354},
pages = {75--89},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.10.007},
doi = {10.1016/J.ENTCS.2020.10.007},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lanmr/Lopez-RamirezGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LunaLIG19,
author = {Guillermo De Ita Luna and
Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and
Ana E. De Ita{-}Varela and
Jorge Eduardo Guti{\'{e}}rrez{-}G{\'{o}}mez},
editor = {Pilar Pozos Parra and
Jos{\'{e}} Raymundo Marcial{-}Romero},
title = {A Heuristic for the Coloring of Planar Graphs},
booktitle = {Selected Papers of the Eleventh and Twelfth Latin American Workshop
on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR}
2018, Puebla, Mexico, November 15, 2018 {\&} {LANMR} 2019, Puebla,
Mexico, November 15, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {354},
pages = {91--105},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.10.008},
doi = {10.1016/J.ENTCS.2020.10.008},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lanmr/LunaLIG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/GonzalezVL19,
author = {Meliza Contreras Gonz{\'{a}}lez and
Mireya Tovar Vidal and
Guillermo De Ita Luna},
editor = {Mauricio Javier Osorio Galindo and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Claudia Zepeda Cort{\'{e}}s and
Pilar Pozos Parra},
title = {Cognitive relations for argumentative texts},
booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, Puebla, Mexico, November
15, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2585},
pages = {97--105},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2585/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/GonzalezVL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/LunaL19,
author = {Guillermo De Ita Luna and
Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez},
editor = {Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Joaqu{\'{\i}}n Salas},
title = {Recognizing 3-colorable Basic Patterns on Planar Graphs},
booktitle = {Pattern Recognition - 11th Mexican Conference, {MCPR} 2019, Quer{\'{e}}taro,
Mexico, June 26-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11524},
pages = {336--346},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21077-9\_31},
doi = {10.1007/978-3-030-21077-9\_31},
timestamp = {Sat, 22 Jun 2019 18:53:18 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/LunaL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/BelloI19,
author = {Pedro Bello and
Guillermo De Ita},
editor = {Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Joaqu{\'{\i}}n Salas},
title = {Inference Algorithm with Falsifying Patterns for Belief Revision},
booktitle = {Pattern Recognition - 11th Mexican Conference, {MCPR} 2019, Quer{\'{e}}taro,
Mexico, June 26-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11524},
pages = {347--356},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21077-9\_32},
doi = {10.1007/978-3-030-21077-9\_32},
timestamp = {Fri, 03 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcpr2/BelloI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/LunaLG18,
author = {Guillermo De Ita Luna and
Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and
Meliza Contreras Gonz{\'{a}}lez},
title = {Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability},
journal = {Electron. Notes Discret. Math.},
volume = {69},
pages = {101--108},
year = {2018},
url = {https://doi.org/10.1016/j.endm.2018.07.014},
doi = {10.1016/J.ENDM.2018.07.014},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/LunaLG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijprai/Grajeda-MarinVM18,
author = {Ismael R. Grajeda{-}Mar{\'{\i}}n and
H{\'{e}}ctor A. Montes Venegas and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Vianney Mu{\~{n}}oz{-}Jim{\'{e}}nez and
Guillermo De Ita Luna},
title = {A New Optimization Strategy for Solving the Fall-Off Boundary Value
Problem in Pixel-Value Differencing Steganography},
journal = {Int. J. Pattern Recognit. Artif. Intell.},
volume = {32},
number = {1},
pages = {1860010:1--1860010:17},
year = {2018},
url = {https://doi.org/10.1142/S0218001418600108},
doi = {10.1142/S0218001418600108},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijprai/Grajeda-MarinVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/LunaMBC18,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Pedro Bello and
Meliza Contreras},
title = {Belief revision between conjunctive normal forms},
journal = {J. Intell. Fuzzy Syst.},
volume = {34},
number = {5},
pages = {3155--3164},
year = {2018},
url = {https://doi.org/10.3233/JIFS-169499},
doi = {10.3233/JIFS-169499},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/LunaMBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/ItaLL18,
author = {Guillermo De Ita and
Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and
Adriana C. Luna},
editor = {Mauricio Javier Osorio Galindo and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Claudia Zepeda Cort{\'{e}}s and
Pilar Pozos Parra},
title = {A novel heuristic for the coloring of planar graphs},
booktitle = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, Puebla, Mexico, November
15, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2264},
pages = {63--75},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2264/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/ItaLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LopezMHI18,
author = {Marco A. L{\'{o}}pez Medina and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Guillermo De Ita},
editor = {Mauricio Javier Osorio Galindo and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Claudia Zepeda Cort{\'{e}}s and
Pilar Pozos Parra},
title = {Model counting for {\#}2SAT problem in outerplanar graphs},
booktitle = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, Puebla, Mexico, November
15, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2264},
pages = {76--87},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2264/paper7.pdf},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lanmr/LopezMHI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/GonzalezVL18,
author = {Meliza Contreras Gonz{\'{a}}lez and
Mireya Tovar Vidal and
Guillermo De Ita Luna},
editor = {Mauricio Javier Osorio Galindo and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Claudia Zepeda Cort{\'{e}}s and
Pilar Pozos Parra},
title = {Knowledge representation of passages type {TOEFL}},
booktitle = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, Puebla, Mexico, November
15, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2264},
pages = {88--100},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2264/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/GonzalezVL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/ItaBR18,
author = {Guillermo De Ita and
Pedro Bello and
Miguel Rodr{\'{\i}}guez},
editor = {Mauricio Javier Osorio Galindo and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Claudia Zepeda Cort{\'{e}}s and
Pilar Pozos Parra},
title = {The computation of {\#}2SAT by a fixed-parameter tractable algorithm},
booktitle = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, Puebla, Mexico, November
15, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2264},
pages = {101--113},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2264/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/ItaBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/LopezMLM18,
author = {Marco A. L{\'{o}}pez Medina and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
Yolanda Moyao},
editor = {Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Sudeep Sarkar},
title = {A Linear Time Algorithm for Computing {\#}2SAT for Outerplanar 2-CNF
Formulas},
booktitle = {Pattern Recognition - 10th Mexican Conference, {MCPR} 2018, Puebla,
Mexico, June 27-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10880},
pages = {72--81},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92198-3\_8},
doi = {10.1007/978-3-319-92198-3\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/LopezMLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/Lopez-RamirezLN18,
author = {Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and
Guillermo De Ita Luna and
Alfredo Neri},
editor = {Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Sudeep Sarkar},
title = {Modelling 3-Coloring of Polygonal Trees via Incremental Satisfiability},
booktitle = {Pattern Recognition - 10th Mexican Conference, {MCPR} 2018, Puebla,
Mexico, June 27-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10880},
pages = {93--102},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92198-3\_10},
doi = {10.1007/978-3-319-92198-3\_10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/Lopez-RamirezLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/LunaFG17,
author = {Guillermo De Ita Luna and
Fernando Zacar{\'{\i}}as Flores and
Alma Delia Garc{\'{\i}}a},
title = {Model-based Algorithm for Belief Revisions between Normal Conjunctive
Forms},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {21},
number = {3},
year = {2017},
url = {https://doi.org/10.13053/cys-21-3-2442},
doi = {10.13053/CYS-21-3-2442},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cys/LunaFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/ServinML17,
author = {Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna},
title = {Low-exponential Algorithm for Counting the Number of Edge Cover on
Simple Graphs},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {21},
number = {3},
year = {2017},
url = {https://doi.org/10.13053/cys-21-3-2244},
doi = {10.13053/CYS-21-3-2244},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cys/ServinML17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/LunaMHVR17,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Rosa Maria Valdovinos and
Marcelo Romero},
editor = {Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez},
title = {Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index},
booktitle = {Pattern Recognition - 9th Mexican Conference, {MCPR} 2017, Huatulco,
Mexico, June 21-24, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10267},
pages = {22--31},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59226-8\_3},
doi = {10.1007/978-3-319-59226-8\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/LunaMHVR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/LopezMIV17,
author = {Marco A. L{\'{o}}pez Medina and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita and
Rosa Maria Valdovinos},
editor = {F{\'{e}}lix Castro and
Sabino Miranda{-}Jim{\'{e}}nez and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {A Fast and Efficient Method for {\#}2SAT via Graph Transformations},
booktitle = {Advances in Soft Computing - 16th Mexican International Conference
on Artificial Intelligence, {MICAI} 2017, Enseneda, Mexico, October
23-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10632},
pages = {95--106},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-02837-4\_8},
doi = {10.1007/978-3-030-02837-4\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/LopezMIV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LopezMLVA17,
author = {M. A. L{\'{o}}pez and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
H{\'{e}}ctor A. Montes Venegas and
Roberto Alejo},
title = {A Linear Time Algorithm for Solving {\#}2SAT on Cactus Formulas},
journal = {CoRR},
volume = {abs/1702.08581},
year = {2017},
url = {http://arxiv.org/abs/1702.08581},
eprinttype = {arXiv},
eprint = {1702.08581},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LopezMLVA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/GarciaLF16,
author = {Alma Delia Garc{\'{\i}}a and
Guillermo De Ita Luna and
Fernando Zacar{\'{\i}}as Flores},
title = {Model-based Algorithm for Belief Revisions between Normal Conjunctive
Forms},
journal = {Res. Comput. Sci.},
volume = {112},
pages = {29--39},
year = {2016},
url = {https://rcs.cic.ipn.mx/2016\_112/Model-based\%20Algorithm\%20for\%20Belief\%20Revisions\%20between\%20Normal\%20Conjunctive\%20Forms.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/GarciaLF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/ItaC016,
author = {Guillermo De Ita and
Meliza Contreras and
Pedro Bello},
title = {Applying an Incremental Satisfiability Algorithm to Automatic Test
Pattern Generation},
journal = {Res. Comput. Sci.},
volume = {123},
pages = {39--49},
year = {2016},
url = {https://rcs.cic.ipn.mx/2016\_123/Applying\%20an\%20Incremental\%20Satisfiability\%20Algorithm\%20to\%20Automatic\%20Test\%20Pattern\%20Generation.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/ItaC016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conielecomp/PonceMLH16,
author = {Ang{\'{e}}lica Guzm{\'{a}}n Ponce and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
title = {Approximate the chromatic number of a graph using maximal independent
sets},
booktitle = {2016 International Conference on Electronics, Communications and Computers,
{CONIELECOMP} 2016, Cholula, Mexico, February 24-26, 2016},
pages = {19--24},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CONIELECOMP.2016.7438546},
doi = {10.1109/CONIELECOMP.2016.7438546},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/conielecomp/PonceMLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LunaMH16,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
editor = {Mauricio Javier Osorio Galindo and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Claudia Zepeda Cort{\'{e}}s and
Iv{\'{a}}n Olmos Pineda},
title = {The incremental satisfiability problem for a two conjunctive normal
form},
booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico,
August 15, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1659},
pages = {25--32},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1659/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/LunaMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/Grajeda-MarinVM16,
author = {Ismael R. Grajeda{-}Mar{\'{\i}}n and
H{\'{e}}ctor A. Montes Venegas and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Guillermo De Ita Luna},
editor = {Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
V{\'{\i}}ctor Ayala{-}Ram{\'{\i}}rez and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Xiaoyi Jiang},
title = {An Optimization Approach to the {TWPVD} Method for Digital Image Steganography},
booktitle = {Pattern Recognition - 8th Mexican Conference, {MCPR} 2016, Guanajuato,
Mexico, June 22-25, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9703},
pages = {125--134},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39393-3\_13},
doi = {10.1007/978-3-319-39393-3\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/Grajeda-MarinVM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/ItaBCC16,
author = {Guillermo De Ita Luna and
Pedro Bello and
Meliza Contreras and
Juan C. Catana{-}Salazar},
editor = {Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
V{\'{\i}}ctor Ayala{-}Ram{\'{\i}}rez and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Xiaoyi Jiang},
title = {Efficient Counting of the Number of Independent Sets on Polygonal
Trees},
booktitle = {Pattern Recognition - 8th Mexican Conference, {MCPR} 2016, Guanajuato,
Mexico, June 22-25, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9703},
pages = {167--176},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39393-3\_17},
doi = {10.1007/978-3-319-39393-3\_17},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/ItaBCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Marcial-RomeroL16,
author = {Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez and
Rosa Maria Valdovinos},
editor = {Grigori Sidorov and
Oscar Herrera{-}Alc{\'{a}}ntara and
Sabino Miranda{-}Jim{\'{e}}nez and
Obdulia Pichardo{-}Lagunas},
title = {A Polynomial Time Algorithm for Counting the Number of Independent
Sets of Cactus Graphs},
booktitle = {Fifteenth Mexican International Conference on Artificial Intelligence,
{MICAI} 2016 Special Session, Cancun, Mexico, October 23-29, 2016},
pages = {106--110},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/MICAI-2016.2016.00024},
doi = {10.1109/MICAI-2016.2016.00024},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/Marcial-RomeroL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Gonzalez-RuizMH16,
author = {J. Leonardo Gonz{\'{a}}lez{-}Ruiz and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Guillermo De Ita Luna},
editor = {Obdulia Pichardo{-}Lagunas and
Sabino Miranda{-}Jim{\'{e}}nez},
title = {Computing the Clique-Width of Polygonal Tree Graphs},
booktitle = {Advances in Soft Computing - 15th Mexican International Conference
on Artificial Intelligence, {MICAI} 2016, Canc{\'{u}}n, Mexico,
October 23-28, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10062},
pages = {449--459},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62428-0\_36},
doi = {10.1007/978-3-319-62428-0\_36},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/Gonzalez-RuizMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LunaMH16,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and
Jos{\'{e}} Raymundo Marcial{-}Romero},
title = {The Incremental Satisfiability Problem for a Two Conjunctive Normal
Form},
booktitle = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico,
August 15, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {328},
pages = {31--45},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.11.004},
doi = {10.1016/J.ENTCS.2016.11.004},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LunaMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/LunaFR15,
author = {Guillermo De Ita Luna and
Fernando Zacar{\'{\i}}as Flores and
Luis Carlos Altamirano Robles},
title = {Finding Pure Nash Equilibrium for the Resource Constrained Project
Scheduling Problem},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {19},
number = {1},
year = {2015},
url = {https://doi.org/10.13053/cys-19-1-1921},
doi = {10.13053/CYS-19-1-1921},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cys/LunaFR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/MedinaMLS15,
author = {Marco A. L{\'{o}}pez Medina and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
title = {Un algoritmo para calcular {\#}2SAT},
journal = {Res. Comput. Sci.},
volume = {94},
pages = {23--32},
year = {2015},
url = {https://rcs.cic.ipn.mx/2015\_94/Un\%20algoritmo\%20para\%20calcular\%20\_2SAT.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/MedinaMLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conielecomp/PonceMHL15,
author = {Ang{\'{e}}lica Guzm{\'{a}}n Ponce and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Guillermo De Ita Luna},
title = {An algorithm to approximate the chromatic number of graphs},
booktitle = {25. International Conference on Electronics, Communications and Computers,
{CONIELECOMP} 2015, Cholula, Puebla, Mexico, February 25-27, 2015},
pages = {110--115},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CONIELECOMP.2015.7086935},
doi = {10.1109/CONIELECOMP.2015.7086935},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/conielecomp/PonceMHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fnc/ZacariasCIT15,
author = {Fernando Zacar{\'{\i}}as Flores and
Rosalba Cuapa and
Guillermo De Ita Luna and
Daniel Torres},
title = {Smart Tourism in 1-Click},
booktitle = {The 10th International Conference on Future Networks and Communications
{(FNC} 2015) / The 12th International Conference on Mobile Systems
and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, August
17-20, 2015, Belfort, France},
series = {Procedia Computer Science},
volume = {56},
pages = {447--452},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.procs.2015.07.234},
doi = {10.1016/J.PROCS.2015.07.234},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fnc/ZacariasCIT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Marcial-RomeroL15,
author = {Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Rosa Maria Valdovinos},
editor = {Grigori Sidorov and
Sof{\'{\i}}a N. Galicia{-}Haro},
title = {A Parametric Polynomial Deterministic Algorithm for {\#}2SAT},
booktitle = {Advances in Artificial Intelligence and Soft Computing - 14th Mexican
International Conference on Artificial Intelligence, {MICAI} 2015,
Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9413},
pages = {202--213},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27060-9\_16},
doi = {10.1007/978-3-319-27060-9\_16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/Marcial-RomeroL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/LunaMM14,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Yolanda Moyao},
title = {An Enumerative Algorithm for {\#}2SAT},
journal = {Electron. Notes Discret. Math.},
volume = {46},
pages = {81--88},
year = {2014},
url = {https://doi.org/10.1016/j.endm.2014.08.012},
doi = {10.1016/J.ENDM.2014.08.012},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/LunaMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/LunaMM14a,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Yolanda Moyao},
title = {An Approximate Algorithm for the Chromatic Number of Graphs},
journal = {Electron. Notes Discret. Math.},
volume = {46},
pages = {89--96},
year = {2014},
url = {https://doi.org/10.1016/j.endm.2014.08.013},
doi = {10.1016/J.ENDM.2014.08.013},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/LunaMM14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/LunaLP14,
author = {Guillermo De Ita Luna and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez and
Jos{\'{u}}e P{\'{e}}rez},
title = {Predicting Preferences of Voters from Opinion Polls by Machine Learning
and Game Theory},
journal = {Res. Comput. Sci.},
volume = {77},
pages = {121--131},
year = {2014},
url = {https://rcs.cic.ipn.mx/2014\_77/Predicting\%20Preferences\%20of\%20Voters\%20from\%20Opinion\%20Polls\%20by\%20Machine\%20Learning\%20and\%20Game\%20Theory.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/LunaLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LunaMP14,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Pilar Pozos Parra},
editor = {Juan Carlos Acosta Guadarrama},
title = {Counting Falsifying Assignments of Conjunctive Forms Using Binary
Patterns},
booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November
5-7, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1287},
pages = {1--10},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/LunaMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/ServinML14,
author = {Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna},
editor = {Juan Carlos Acosta Guadarrama},
title = {Low - exponential Algorithm for Counting the Number of Edge Cover
on Simple Graphs},
booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November
5-7, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1287},
pages = {1--8},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/ServinML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LunaMPH15,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Maria del Pilar Pozos Parra and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
editor = {Juan Carlos Nieves and
Jos{\'{e}} Raymundo Marcial{-}Romero},
title = {Using Binary Patterns for Counting Falsifying Assignments of Conjunctive
Forms},
booktitle = {Selected Papers of the Ninth Latin American Workshop on Logic/Languages,
Algorithms and New Methods of Reasoning, {LANMR} 2014, Valle de Bravo,
Mexico, November 5-7, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {315},
pages = {17--30},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.06.003},
doi = {10.1016/J.ENTCS.2015.06.003},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LunaMPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/LunaC13,
author = {Guillermo De Ita Luna and
Javier A. Castillo},
title = {Recognizing 3-colorings cycle-patterns on graphs},
journal = {Pattern Recognit. Lett.},
volume = {34},
number = {4},
pages = {433--438},
year = {2013},
url = {https://doi.org/10.1016/j.patrec.2012.10.001},
doi = {10.1016/J.PATREC.2012.10.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/prl/LunaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/ItaPP13,
author = {Guillermo De Ita Luna and
Jos{\'{u}}e P{\'{e}}rez and
Juan Carlos P{\'{e}}rez},
editor = {Loreto Bravo and
Maurizio Lenzerini},
title = {A Logical Database for Geriatric Purposes},
booktitle = {Proceedings of the 7th Alberto Mendelzon International Workshop on
Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1087},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1087/shortpaper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/ItaPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/Loyola-GonzalezGMTCL13,
author = {Octavio Loyola{-}Gonz{\'{a}}lez and
Milton Garc{\'{\i}}a{-}Borroto and
Miguel Angel Medina{-}P{\'{e}}rez and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Guillermo De Ita Luna},
editor = {Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Joaqu{\'{\i}}n Salas Rodr{\'{\i}}guez and
Gabriella Sanniti di Baja},
title = {An Empirical Study of Oversampling and Undersampling Methods for LCMine
an Emerging Pattern Based Classifier},
booktitle = {Pattern Recognition - 5th Mexican Conference, {MCPR} 2013, Quer{\'{e}}taro,
Mexico, June 26-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7914},
pages = {264--273},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38989-4\_27},
doi = {10.1007/978-3-642-38989-4\_27},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/Loyola-GonzalezGMTCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/LunaBC13,
author = {Guillermo De Ita Luna and
Pedro Bello and
Meliza Contreras},
editor = {Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Joaqu{\'{\i}}n Salas Rodr{\'{\i}}guez and
Gabriella Sanniti di Baja},
title = {Recognizing Structural Patterns on Graphs for the Efficient Computation
of {\#}2SAT},
booktitle = {Pattern Recognition - 5th Mexican Conference, {MCPR} 2013, Quer{\'{e}}taro,
Mexico, June 26-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7914},
pages = {274--283},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38989-4\_28},
doi = {10.1007/978-3-642-38989-4\_28},
timestamp = {Fri, 03 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcpr2/LunaBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognetwente/LunaFM12,
author = {Guillermo De Ita Luna and
Fernando Zacar{\'{\i}}as Flores and
Jos{\'{e}} Raymundo Marcial{-}Romero},
editor = {Andreas Brieden and
Zafer{-}Korcan G{\"{o}}rg{\"{u}}l{\"{u}} and
Tino Krug and
Erik Kropat and
Silja Meyer{-}Nieberg and
Goran Mihelcic and
Stefan Wolfgang Pickl},
title = {An Approximate Algorithm for the Chromatic Number of a Graph},
booktitle = {11th Cologne-Twente Workshop on Graphs and Combinatorial Optimization,
Munich, Germany, May 29-31, 2012. Extended Abstracts},
pages = {104--107},
year = {2012},
timestamp = {Thu, 16 May 2013 15:41:40 +0200},
biburl = {https://dblp.org/rec/conf/colognetwente/LunaFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/ItaMPP12,
author = {Guillermo De Ita Luna and
Yolanda Moyao and
Juan Carlos P{\'{e}}rez and
Jos{\'{u}}e P{\'{e}}rez},
editor = {Mauricio Osorio and
Claudia Zepeda and
Iv{\'{a}}n Olmos and
Jos{\'{e}} Luis Carballido and
R. Carolina Medina Ram{\'{\i}}rez},
title = {Job Shop Scheduling via Disjunctive Boolean Formulas},
booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages,
Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico,
D.F., September 10-11, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {911},
pages = {41--50},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-911/03\_LANMR12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/ItaMPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/HernandezML12,
author = {Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Guillermo De Ita Luna},
editor = {Mauricio Osorio and
Claudia Zepeda and
Iv{\'{a}}n Olmos and
Jos{\'{e}} Luis Carballido and
R. Carolina Medina Ram{\'{\i}}rez},
title = {Edge covering of acyclic graphs},
booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages,
Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico,
D.F., September 10-11, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {911},
pages = {63--74},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-911/05\_LANMR12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/HernandezML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/LunaM12,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero},
editor = {Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Kim L. Boyer},
title = {Computing {\#}2SAT and {\#}2UNSAT by Binary Patterns},
booktitle = {Pattern Recognition - 4th Mexican Conference, {MCPR} 2012, Huatulco,
Mexico, June 27-30, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7329},
pages = {273--282},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31149-9\_28},
doi = {10.1007/978-3-642-31149-9\_28},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/LunaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socinfo/ItaALM12,
author = {Guillermo De Ita Luna and
Luis Carlos Altamirano and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez and
Yolanda Moyao},
editor = {Karl Aberer and
Andreas Flache and
Wander Jager and
Ling Liu and
Jie Tang and
Christophe Gu{\'{e}}ret},
title = {A Method Based on Congestion Game Theory for Determining Electoral
Tendencies},
booktitle = {Social Informatics - 4th International Conference, SocInfo 2012, Lausanne,
Switzerland, December 5-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7710},
pages = {162--173},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35386-4\_13},
doi = {10.1007/978-3-642-35386-4\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/socinfo/ItaALM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LunaRH11,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
title = {A Threshold for a Polynomial Solution of {\#}2SAT},
journal = {Fundam. Informaticae},
volume = {113},
number = {1},
pages = {63--77},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-599},
doi = {10.3233/FI-2011-599},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LunaRH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/ItaGQ11,
author = {Guillermo De Ita Luna and
Meliza Contreras Gonz{\'{a}}lez and
Isaac Chantes Quechol},
editor = {R. Charles Murray and
Philip M. McCarthy},
title = {A Multiagent System for Modeling Democratic Elections},
booktitle = {Proceedings of the Twenty-Fourth International Florida Artificial
Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
Florida, {USA}},
publisher = {{AAAI} Press},
year = {2011},
url = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2576},
timestamp = {Wed, 26 Oct 2022 08:35:19 +0200},
biburl = {https://dblp.org/rec/conf/flairs/ItaGQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LunaFR11,
author = {Guillermo De Ita Luna and
Fernando Zacar{\'{\i}}as Flores and
Alejandro Rangel{-}Huerta},
editor = {Mauricio Osorio and
Claudia Zepeda and
Iv{\'{a}}n Olmos and
Jos{\'{e}} Luis Carballido and
Jos{\'{e}} Arrazola and
Carolina Medina},
title = {A Note for Parametric Complexity of {\#}2SAT},
booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic
Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico,
November 7-8, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {804},
pages = {95--104},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-804/09\_LANMR11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/LunaFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/ItaBA11,
author = {Guillermo De Ita Luna and
C{\'{e}}sar Bautista and
Luis Carlos Altamirano},
editor = {Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Cherif Ben{-}Youssef Brants and
Edwin Robert Hancock},
title = {Solving 3-Colouring via 2SAT},
booktitle = {Pattern Recognition - Third Mexican Conference, {MCPR} 2011, Cancun,
Mexico, June 29 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6718},
pages = {50--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21587-2\_6},
doi = {10.1007/978-3-642-21587-2\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/ItaBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/ItaG10,
author = {Guillermo De Ita Luna and
Carlos Guill{\'{e}}n},
title = {Efficient Computation of the Degree of Belief for a Subclass of Two
Conjunctive Forms},
journal = {Inteligencia Artif.},
volume = {14},
number = {48},
pages = {15--27},
year = {2010},
url = {http://journal.iberamia.org/index.php/ia/article/view/656/article\%20\%281\%29.pdf},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/ItaG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/ItaMV10,
author = {Guillermo De Ita Luna and
Jos{\'{e}} Raymundo Marcial{-}Romero and
H{\'{e}}ctor A. Montes Venegas},
title = {Estimating the relevance on Communication Lines Based on the Number
of Edge Covers},
journal = {Electron. Notes Discret. Math.},
volume = {36},
pages = {247--254},
year = {2010},
url = {https://doi.org/10.1016/j.endm.2010.05.032},
doi = {10.1016/J.ENDM.2010.05.032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/endm/ItaMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/GuillenIL10,
author = {Carlos Guill{\'{e}}n and
Guillermo De Ita Luna and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez},
editor = {Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Josef Kittler},
title = {A Novel Method for Counting Models on Grid Boolean Formulas},
booktitle = {Advances in Pattern Recognition - Second Mexican Conference on Pattern
Recognition, {MCPR} 2010, Puebla, Mexico, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6256},
pages = {322--331},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15992-3\_34},
doi = {10.1007/978-3-642-15992-3\_34},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/GuillenIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LunaGK09,
author = {Guillermo De Ita Luna and
Carlos Guill{\'{e}}n and
Ali Khanafer},
editor = {Mauricio Osorio and
Claudia Zepeda and
Iv{\'{a}}n Olmos and
Carolina Medina and
Jos{\'{e}} Arrazola},
title = {Efficient Computation of the Degree of Belief for a Subclass of Two
Conjuctive Forms},
booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic
Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas,
Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma
de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November
5-6, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {533},
pages = {118--129},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-533/10\_LANMR09\_07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/LunaGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/GuillenLL08,
author = {Carlos Guill{\'{e}}n and
Guillermo De Ita Luna and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez},
editor = {Mauricio Osorio and
Iv{\'{a}}n Olmos},
title = {Efficient computation of the degree of belief in a propositional theory},
booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic
Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n
de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla,
Puebla, M{\'{e}}xico, October 22-24, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {408},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-408/Paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/GuillenLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LunaTC08,
author = {Guillermo De Ita Luna and
Mireya Tovar and
Meliza Contreras Gonz{\'{a}}lez},
editor = {Mauricio Osorio and
Iv{\'{a}}n Olmos},
title = {Agents's competition for selecting a representative},
booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic
Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n
de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla,
Puebla, M{\'{e}}xico, October 22-24, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {408},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-408/Poster1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/LunaTC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GuillenLI08,
author = {Carlos Guill{\'{e}}n and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez and
Guillermo De Ita},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Computing {\#}2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean
Formulas},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper10guillen.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GuillenLI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/engl/ItaLC07,
author = {Guillermo De Ita Luna and
Pedro Bello L{\'{o}}pez and
Meliza Contreras Gonz{\'{a}}lez},
title = {New Polynomial Classes for {\#}2SAT Established Via Graph-Topological
Structure},
journal = {Eng. Lett.},
volume = {15},
number = {2},
pages = {250--258},
year = {2007},
url = {http://www.engineeringletters.com/issues\_v15/issue\_2/EL\_15\_2\_11.pdf},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/engl/ItaLC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/engl/GuillenLI07,
author = {Carlos Guill{\'{e}}n and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez and
Guillermo De Ita Luna},
title = {Model Counting for 2SAT Based on Graphs by Matrix Operators},
journal = {Eng. Lett.},
volume = {15},
number = {2},
pages = {259--265},
year = {2007},
url = {http://www.engineeringletters.com/issues\_v15/issue\_2/EL\_15\_2\_12.pdf},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/engl/GuillenLI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caan/ItaL07,
author = {Guillermo De Ita Luna and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez},
editor = {Jeannette C. M. Janssen and
Pawel Pralat},
title = {A Worst-Case Time Upper Bound for Counting the Number of Independent
Sets},
booktitle = {Combinatorial and Algorithmic Aspects of Networking, 4th Workshop,
{CAAN} 2007, Halifax, Canada, August 14, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4852},
pages = {85--98},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77294-1\_9},
doi = {10.1007/978-3-540-77294-1\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caan/ItaL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/LunaLG07,
author = {Guillermo De Ita Luna and
Pedro Bello L{\'{o}}pez and
Meliza Contreras Gonz{\'{a}}lez},
editor = {Jos{\'{e}} Arrazola and
Pilar Pozos Parra and
Mauricio Osorio and
Claudia Zepeda},
title = {Efficient counting of models for boolean formulas represented by embedded
cycles},
booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma
de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September
2007},
series = {{CEUR} Workshop Proceedings},
volume = {286},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-286/LANMR07\_03.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/LunaLG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/ItaG06,
author = {Guillermo De Ita Luna and
Meliza Contreras Gonz{\'{a}}lez},
editor = {Rogelio D{\'{a}}vila and
Mauricio Osorio and
Claudia Zepeda},
title = {A Polynomial Graphical Reduction to Speed Up the Counting of Models
for Boolean Formulas},
booktitle = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
series = {{CEUR} Workshop Proceedings},
volume = {220},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-220/LoLaCOM06\_07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:25 +0100},
biburl = {https://dblp.org/rec/conf/micai/ItaG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2006,
editor = {Mauricio Osorio and
Claudia Zepeda and
Pilar Pozos Parra and
Guillermo De Ita Luna},
title = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la
Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis
Potos{\'{\i}}, Mexico, September 18, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {217},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-217},
urn = {urn:nbn:de:0074-217-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/Luna04,
author = {Guillermo De Ita Luna},
editor = {Christian Lema{\^{\i}}tre and
Carlos A. Reyes Garc{\'{\i}}a and
Jes{\'{u}}s A. Gonz{\'{a}}lez},
title = {Polynomial Classes of Boolean Formulas for Computing the Degree of
Belief},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American
Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3315},
pages = {430--440},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30498-2\_43},
doi = {10.1007/978-3-540-30498-2\_43},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/Luna04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/ItaPN98,
author = {Guillermo De Ita and
David Eduardo Pinto and
M. Nu{\~{n}}o},
editor = {Helder Coelho},
title = {Heuristics for Improving the Non-oblivious Local Search for MaxSAT},
booktitle = {Progress in Artificial Intelligence - {IBERAMIA} 98, 6th Ibero-American
Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1484},
pages = {219--229},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49795-1\_19},
doi = {10.1007/3-540-49795-1\_19},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iberamia/ItaPN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
