يعرض 1 - 10 نتائج من 117 نتيجة بحث عن '"Day, Joel"', وقت الاستعلام: 1.22s تنقيح النتائج
  1. 1
    تقرير
    Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

    المؤلفون: Lu, Zhengyang, Siemer, Stefan, Jha, Piyush, Day, Joel, Manea, Florin, Ganesh, Vijay

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

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

    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    On the structure of solution-sets to regular word equations

    المؤلفون: Day, Joel D.Aff1, IDs00224021100585_cor1, Manea, Florin

    المصدر: Theory of Computing Systems. 68(4):662-739

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    A Closer Look at the Expressive Power of Logics Based on Word Equations

    المؤلفون: Day, JoelAff1, IDs00224023101548_cor1, Ganesh, Vijay, Grewal, Nathan, Konefal, Matthew, Manea, Florin

    المصدر: Theory of Computing Systems. 68(3):322-379

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  4. 4
    تقرير
    A Generic Information Extraction System for String Constraints

    المؤلفون: Day, Joel D., Kröger, Adrian, Kulczynski, Mitja, Manea, Florin, Nowotka, Dirk, Poulsen, Danny Bøgsted

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Databases, Computer Science - Formal Languages and Automata Theory

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

    أضف إلى المفضلة
  5. 5
    تقرير
    Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

    المؤلفون: Day, Joel D., Kosche, Maria, Manea, Florin, Schmid, Markus L.

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, Computer Science - Formal Languages and Automata Theory

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Formal Languages via Theories over Strings

    المؤلفون: Day, Joel D., Ganesh, Vijay, Grewal, Nathan, Manea, Florin

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

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

    أضف إلى المفضلة
  7. 7
    مؤتمر
    Rule-based Word Equation Solving

    المؤلفون: Day, Joel D., Kulczynski, Mitja, Manea, Florin, Nowotka, Dirk, Poulsen, Danny Bogsted

    المصدر: 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2020 IEEE/ACM 8th International Conference on. :87-97 May, 2020

    Relation: 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  8. 8
    تقرير
    String Theories involving Regular Membership Predicates: From Practice to Theory and Back

    المؤلفون: Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk

    مصطلحات موضوعية: Computer Science - Computation and Language

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

    أضف إلى المفضلة
  9. 9
    تقرير
    An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

    المؤلفون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay

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

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

    أضف إلى المفضلة
  10. 10
    تقرير
    On Solving Word Equations Using SAT

    المؤلفون: Day, Joel D., Ehlers, Thorsten, Kulczynski, Mitja, Manea, Florin, Nowotka, Dirk, Poulsen, Danny Bøgsted

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

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

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