( en | de | ru )

 

Disambiguierung von "Meel, Kuldeep S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Weighted to Unweighted Model Counting.

, , , und . IJCAI, Seite 689-695. AAAI Press, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Matthias Meel

Aumaporn Meelursarn

Walter Meels

S Fröhlich

S Hüttelmaier

 

Weitere Publikationen von Autoren mit dem selben Namen

Approximate Counting of Minimal Unsatisfiable Subsets., und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 439-462. Springer, (2020)Principled network reliability approximation: A counting-based approach., , , und . Reliab. Eng. Syst. Saf., (2019)MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules., und . CP, Volume 11008 von Lecture Notes in Computer Science, Seite 312-327. Springer, (2018)Designing New Phase Selection Heuristics., und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2020)On Approximating Total Variation Distance., , , , , und . IJCAI, Seite 3479-3487. ijcai.org, (2023)Scalable Probabilistic Routes., , und . ENIGMA@KR, Volume 3495 von CEUR Workshop Proceedings, Seite 64-74. CEUR-WS.org, (2023)Engineering an Efficient PB-XOR Solver., und . CP, Volume 210 von LIPIcs, Seite 58:1-58:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)ApproxASP - a Scalable Approximate Answer Set Counter., , , , , und . AAAI, Seite 5755-5764. AAAI Press, (2022)Engineering an Efficient Boolean Functional Synthesis Engine., , , und . ICCAD, Seite 1-9. IEEE, (2021)Estimating the Size of Union of Sets in Streaming Models., , und . PODS, Seite 126-137. ACM, (2021)