( en | de | ru )

 

Disambiguierung von "Vardi, Moshe Y."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints.

, und . CoRR, (2023)

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.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Weitere Publikationen von Autoren mit dem selben Namen

How we lost the women in computing.. Commun. ACM, 61 (5): 9 (2018)SAT-based Explicit LTLf Satisfiability Checking., , , , und . CoRR, (2018)From Church and Prior to PSL.. 25 Years of Model Checking, Volume 5000 von Lecture Notes in Computer Science, Seite 150-171. Springer, (2008)From Löwenheim to PSL and SVA.. Language, Culture, Computation (1), Volume 8001 von Lecture Notes in Computer Science, Seite 78-102. Springer, (2014)Module Checking Revisited., und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 36-47. Springer, (1997)Factored boolean functional synthesis., und . FMCAD, Seite 124-131. IEEE, (2017)On the Expressive Power of Datalog: Tools and a Case Study., und . PODS, Seite 61-71. ACM Press, (1990)The Revenge of the JD., , und . PODS, Seite 279-287. ACM, (1983)On the Equivalence of Logical Databases., , und . PODS, Seite 221-228. ACM, (1984)Safety of Datalog Queries over Infinite Databases., und . PODS, Seite 160-171. ACM Press, (1989)