( en | de | ru )

 

Disambiguierung von "Kouril, Michal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SBSAT: a State-Based, BDD-Based Satisfiability Solver.

, , , , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 398-410. Springer, (2003)

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.

Michal Olszewski

Michal Pejko

Michal Fic

Michal Novotny

Michal Ratajski

 

Weitere Publikationen von Autoren mit dem selben Namen

Leveraging FPGA clusters for SAT computations.. PARCO, Volume 27 von Advances in Parallel Computing, Seite 525-532. IOS Press, (2015)piNET: a versatile web platform for downstream analysis and visualization of proteomics data., , , , , , , , , und 12 andere Autor(en). Nucleic Acids Res., 48 (Webserver-Issue): W85-W93 (2020)SBSAT: a State-Based, BDD-Based Satisfiability Solver., , , , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 398-410. Springer, (2003)An application programming interface implementing Bayesian approaches for evaluating effect of time-varying treatment with R and Python., , , , , , , und . Frontiers Comput. Sci., (2023)A template library to facilitate teaching message passing parallel computing., , und . SIGCSE, Seite 464-468. ACM, (2006)Brief announcement: dynamic interoperable point-to-point connection of MPI implementations., und . PODC, Seite 352. ACM, (2005)Computing the Van der Waerden Number W(3, 4)=293.. Integers, (2012)Function-Complete Lookahead in Support of Efficient SAT Search Heuristics., , , , , und . J. Univers. Comput. Sci., 10 (12): 1655-1695 (2004)Resolution Tunnels for Improved SAT Solver Performance., und . SAT, Volume 3569 von Lecture Notes in Computer Science, Seite 143-157. Springer, (2005)A parallel backtracking framework (BkFr) for single and multiple clusters., und . Conf. Computing Frontiers, Seite 302-312. ACM, (2004)