( en | de | ru )

 

Disambiguation of "Vardi, Moshe Y."

Author of the publication

copydeleteadd this publication to your clipboard
On computing minimal independent support and its applications to sampling and counting.

, , , and . Constraints An Int. J., 21 (1): 41-58 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Other publications of authors with the same name

The Complexity of Set Constraints., , , and . CSL, volume 832 of Lecture Notes in Computer Science, page 1-17. Springer, (1993)An Automata-Theoretic Approach to Protocol Verification (Abstract).. Concurrency, volume 335 of Lecture Notes in Computer Science, page 73. Springer, (1988)Updating Logical Databases., , , and . Adv. Comput. Res., (1986)Symbolic Techniques in Satisfiability Solving., and . J. Autom. Reason., 35 (1-3): 25-50 (2005)Rank Predicates vs. Progress Measures in Concurrent-Program Verification.. Chic. J. Theor. Comput. Sci., (1996)A simple proof that connectivity of finite graphs is not first-order definable., and . Bulletin of the EATCS, (1985)On the Expressive Power of Datalog: Tools and a Case Study., and . PODS, page 61-71. ACM Press, (1990)The Complexity of Reasoning about Knowledge and Time: Extended Abstract, and . STOC, page 304-315. ACM, (1986)Parametric real-time reasoning., , and . STOC, page 592-601. ACM, (1993)Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.. CADE, volume 1249 of Lecture Notes in Computer Science, page 191-206. Springer, (1997)