يعرض 1 - 10 نتائج من 151 نتيجة بحث عن '"Subercaseaux, Bernardo"', وقت الاستعلام: 0.98s تنقيح النتائج
  1. 1
    تقرير
    Formal Verification of the Empty Hexagon Number

    المؤلفون: Subercaseaux, Bernardo, Nawrocki, Wojciech, Gallicchio, James, Codel, Cayden, Carneiro, Mario, Heule, Marijn J. H.

    مصطلحات موضوعية: Computer Science - Computational Geometry, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2403.17370

    أضف إلى المفضلة
  2. 2
    تقرير
    PackIt! Gamified Rectangle Packing

    المؤلفون: Garrison, Thomas, Heule, Marijn J. H., Subercaseaux, Bernardo

    مصطلحات موضوعية: Mathematics - Combinatorics, Computer Science - Data Structures and Algorithms, Computer Science - Computer Science and Game Theory

    URL الوصول: http://arxiv.org/abs/2403.12195

    أضف إلى المفضلة
  3. 3
    تقرير
    Assortment Optimization For Conference Goodies With Indifferent Attendees

    المؤلفون: Gutiérrez, Fernanda, Subercaseaux, Bernardo

    مصطلحات موضوعية: Mathematics - Optimization and Control, Computer Science - Discrete Mathematics

    URL الوصول: http://arxiv.org/abs/2403.03330

    أضف إلى المفضلة
  4. 4
    تقرير
    Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane

    المؤلفون: Subercaseaux, Bernardo, Mackey, John, Heule, Marijn J. H., Martins, Ruben

    مصطلحات موضوعية: Computer Science - Computational Geometry, Computer Science - Discrete Mathematics

    URL الوصول: http://arxiv.org/abs/2311.03645

    أضف إلى المفضلة
  5. 5
    تقرير
    A Uniform Language to Explain Decision Trees

    المؤلفون: Arenas, Marcelo, Barcelo, Pablo, Bustamante, Diego, Caraball, Jose, Subercaseaux, Bernardo

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

    URL الوصول: http://arxiv.org/abs/2310.11636

    أضف إلى المفضلة
  6. 6
    كتاب إلكتروني
    Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane

    المؤلفون: Subercaseaux, BernardoAff9, Mackey, JohnAff9, Heule, Marijn J. H.Aff9, Martins, RubenAff9

    المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Kohlhase, Andrea, editorAff7, Kovács, Laura, editorAff8

    المصدر: Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings. 14960:21-41

    أضف إلى المفضلة
  7. 7
    تقرير
    The Packing Chromatic Number of the Infinite Square Grid is 15

    المؤلفون: Subercaseaux, Bernardo, Heule, Marijn J. H.

    مصطلحات موضوعية: Computer Science - Discrete Mathematics, Computer Science - Artificial Intelligence, Mathematics - Combinatorics

    URL الوصول: http://arxiv.org/abs/2301.09757

    أضف إلى المفضلة
  8. 8
    تقرير
    On Computing Probabilistic Explanations for Decision Trees

    المؤلفون: Arenas, Marcelo, Barceló, Pablo, Romero, Miguel, Subercaseaux, Bernardo

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computational Complexity

    URL الوصول: http://arxiv.org/abs/2207.12213

    أضف إلى المفضلة
  9. 9
    تقرير
    Wordle is NP-hard

    المؤلفون: Lokshtanov, Daniel, Subercaseaux, Bernardo

    مصطلحات موضوعية: Computer Science - Computational Complexity

    URL الوصول: http://arxiv.org/abs/2203.16713

    أضف إلى المفضلة
  10. 10
    تقرير
    Foundations of Symbolic Languages for Model Interpretability

    المؤلفون: Arenas, Marcelo, Baez, Daniel, Barceló, Pablo, Pérez, Jorge, Subercaseaux, Bernardo

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2110.02376

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء