يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Meel, K. S."', وقت الاستعلام: 1.09s تنقيح النتائج
  1. 1
    تقرير
    Principled Network Reliability Approximation: A Counting-Based Approach

    المؤلفون: Paredes, R., Duenas-Osorio, L., Meel, K. S., Vardi, M. Y.

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

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

    أضف إلى المفضلة
  2. 2
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View this record from ISI Web of Science
    أضف إلى المفضلة
  3. 3
    Distribution-aware sampling and weighted model counting for sat

    المؤلفون: Supratik Chakraborty, Meel, K. S., Fremont, D. J., Seshia, S. A., Vardi, M. Y.

    المساهمون: Brodley, Carla E, Stone, Peter

    المصدر: Scopus-Elsevier
    Chakraborty, S; Meel, KS; Fremont, DJ; Seshia, SA; & Vardi, MY. (2014). Distribution-aware sampling and weighted model counting for sat. Proceedings of the National Conference on Artificial Intelligence, 3, 1722-1730. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/2hv2j2df
    Chakraborty, S; Fremont, DJ; Meel, KS; Seshia, SA; & Vardi, MY. Brodley, CE; & Stone, P eds. (2014). Distribution-Aware Sampling and Weighted Model Counting for SAT.. AAAI, 1722-1730. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/9nz3g0jt

    مصطلحات موضوعية: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), cs.DS, Computer Science - Artificial Intelligence, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), cs.AI

    وصف الملف: application/pdf

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45849211cc047704ba367e3a5df9f55b
    http://www.scopus.com/inward/record.url?eid=2-s2.0-84908200349&partnerID=MN8TOARS

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