( en | de | ru )

 

Disambiguierung von "Ganesh, Vijay"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Hierarchical Community Structure of Practical Boolean Formulas.

, , , , , , , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 359-376. Springer, (2021)

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.

Balakumar Vijayakrishnan

Vijay Divi

Vijay Singh

Ganesh Suyal

Ganesh Pathare

 

Weitere Publikationen von Autoren mit dem selben Namen

The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability., , , , und . CoRR, (2018)Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers., , , und . SMT, Volume 2854 von CEUR Workshop Proceedings, Seite 62. CEUR-WS.org, (2020)Goose: A Meta-Solver for Deep Neural Network Verification., , , und . SMT, Volume 3185 von CEUR Workshop Proceedings, Seite 99-113. CEUR-WS.org, (2022)CDCL(Crypto) SAT solvers for cryptanalysis., und . CASCON, Seite 311-316. ACM, (2019)Logic Guided Genetic Algorithms (Student Abstract)., , , , und . AAAI, Seite 15753-15754. AAAI Press, (2021)An SMT-based approach to automated configuration., , , und . SMT@IJCAR, Volume 20 von EPiC Series in Computing, Seite 109-119. EasyChair, (2012)Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies., , , , und . ACM Trans. Inf. Syst. Secur., 15 (4): 18:1-18:28 (2013)Effective Problem Solving Using SAT Solvers., , , und . MC, Volume 1125 von Communications in Computer and Information Science, Seite 205-219. Springer, (2019)RLSF: Reinforcement Learning via Symbolic Feedback., , , und . CoRR, (2024)The Proof Complexity of SMT Solvers., , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 275-293. Springer, (2018)