( en | de | ru )

 

Disambiguierung von "Chakraborty, Supratik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Approximate Probabilistic Inference via Word-Level Counting.

, , , und . CoRR, (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.

Supratik Mukhopadhyay

Supratik Mukhopadhyay

Sourav Chakraborty

Dipanjan Chakraborty

Anirban Chakraborty

 

Weitere Publikationen von Autoren mit dem selben Namen

Theory and Application of Nongroup Cellular Automata for Synthesis of Easily Testable Finite State Machines., , und . IEEE Trans. Computers, 45 (7): 769-781 (1996)Approximate Probabilistic Inference via Word-Level Counting., , , und . CoRR, (2015)Constrained Sampling and Counting: Universal Hashing Meets SAT Solving., , , , , , , und . CoRR, (2015)Timing analysis of asynchronous systems using time separation of events., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (8): 1061-1076 (1999)Symbolic trajectory evaluation for word-level verification: theory and implementation., , , , , , und . Formal Methods Syst. Des., 50 (2-3): 317-352 (2017)Refining abstract interpretations., , , und . Inf. Process. Lett., 110 (16): 666-671 (2010)Projected Model Counting: Beyond Independent Support., , und . CoRR, (2021)Approximate Probabilistic Inference via Word-Level Counting., , , und . AAAI, Seite 3218-3224. AAAI Press, (2016)Efficient Guided Symbolic Reachability Using Reachability Expressions., , und . TACAS, Volume 3920 von Lecture Notes in Computer Science, Seite 120-134. Springer, (2006)Practical timing analysis of asynchronous circuits using time separation of events., , und . CICC, Seite 455-458. IEEE, (1998)