pith. sign in

Moshe Y. Vardi

Identifiers

  • name variant Moshe Y. Vardi 0.60 · backfill

Papers (35)

  1. Understanding CDCL Solvers via Scalability Studies and Proofdoors cs.LO · 2026 · author #5
  2. Fast Obligation Translation and Synthesis cs.FL · 2026 · author #5
  3. Computing Short SAT Implicants via Ising/QUBO Encodings cs.LO · 2026 · author #3
  4. On-the-fly LTLf Synthesis under Partial Observability cs.LO · 2026 · author #6
  5. Verification of Correlated Equilibria in Concurrent Reachability Games cs.GT · 2026 · author #3
  6. Extending CDCL-based Model Enumeration with Weights cs.LO · 2026 · author #2
  7. Modeling Concurrent Multi-Agent Systems cs.GT · 2026 · author #2
  8. Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems cs.GT · 2025 · author #2
  9. First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation cs.LO · 2019 · author #3
  10. SAT-based Explicit LTLf Satisfiability Checking cs.LO · 2018 · author #5
  11. Functional Synthesis via Input-Output Separation cs.LO · 2018 · author #4
  12. The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas cs.DM · 2017 · author #3
  13. Symbolic LTLf Synthesis cs.LO · 2017 · author #5
  14. Combining the $k$-CNF and XOR Phase-Transitions cs.DM · 2017 · author #3
  15. Reasoning about Strategies: on the Satisfiability Problem cs.LO · 2016 · author #4
  16. Approximate Probabilistic Inference via Word-Level Counting cs.AI · 2015 · author #4
  17. Fixpoint Node Selection Query Languages for Trees cs.DB · 2015 · author #4
  18. The Complexity of Synthesis from Probabilistic Components cs.LO · 2015 · author #3
  19. Distribution-Aware Sampling and Weighted Model Counting for SAT cs.AI · 2014 · author #5
  20. Balancing Scalability and Uniformity in SAT Witness Generator cs.LO · 2014 · author #3
  21. LTLf satisfiability checking cs.LO · 2014 · author #4
  22. Fast LTL Satisfiability Checking by SAT Solvers cs.LO · 2014 · author #4
  23. The Complexity of Integer Bound Propagation cs.AI · 2014 · author #4
  24. The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies cs.LO · 2014 · author #4
  25. Polsat: A Portfolio LTL Satisfiability Solver cs.LO · 2013 · author #5
  26. Synthesis from Knowledge-Based Specifications cs.LO · 2013 · author #2
  27. A Scalable Approximate Model Counter cs.LO · 2013 · author #3
  28. A Scalable and Nearly Uniform Generator of SAT Witnesses cs.LO · 2013 · author #3
  29. A Decidable Fragment of Strategy Logic cs.LO · 2012 · author #4
  30. Reasoning About Strategies: On the Model-Checking Problem cs.LO · 2011 · author #4
  31. View Synthesis from Schema Mappings cs.DB · 2010 · author #4
  32. Multi-Objective Model Checking of Markov Decision Processes cs.LO · 2008 · author #3
  33. The Complexity of Enriched Mu-Calculi cs.LO · 2008 · author #4
  34. A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas math.PR · 2005 · author #4
  35. Complete Axiomatizations for Reasoning About Knowledge and Time cs.LO · 2002 · author #3

Mentions

  • 1404.2984 #5 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1403.6246 #3 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1403.1666 #4 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1401.5677 #4 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1401.3887 #4 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1401.3289 #4 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1311.1602 #5 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1307.6333 #2 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1306.5726 #3 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1304.1584 #3 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1202.1309 #4 · backfill · confidence 0.70 Moshe Y. Vardi
  • 1112.6275 #4 · backfill · confidence 0.70 Moshe Y. Vardi
  • 2503.14690 #2 · arxiv_oai · confidence 0.70 Moshe Y. Vardi
  • 2605.15506 #5 · arxiv_oai · confidence 0.70 Moshe Y. Vardi
  • 1003.1179 #4 · backfill · confidence 0.70 Moshe Y. Vardi
  • 0810.5728 #3 · backfill · confidence 0.70 Moshe Y. Vardi
  • 0809.0360 #4 · backfill · confidence 0.70 Moshe Y. Vardi

Frequent Coauthors