كتاب إلكتروني
A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas
| العنوان: | A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas |
|---|---|
| المؤلفون: | López-Medina, Marco A.Aff12, Marcial-Romero, J. RaymundoAff12, De Ita-Luna, GuillermoAff13, Hernández, José A.Aff12 |
| المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Martínez-Villaseñor, Lourdes, editorAff8, Herrera-Alcántara, Oscar, editorAff9, Ponce, Hiram, editorAff10, Castro-Espinoza, Félix A., editorAff11 |
| المصدر: | Advances in Soft Computing : 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12–17, 2020, Proceedings, Part I. 12468:437-447 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783030608835 9783030608842 |
|---|---|
| DOI: | 10.1007/978-3-030-60884-2_33 |