Alexander Ivrii | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Joseph Y. Halpern
86 publications
Sanjit A. Seshia
65 publications
Kuldeep S. Meel
49 publications
Supratik Chakraborty
15 publications
Hana Chockler
15 publications
Daniel J. Fremont
14 publications
Moshe Vardi
8 publications
Dror Fried
8 publications
Sharad Malik
5 publications
Ofer Strichman
5 publications
Gadi Aleksandrowicz
1 publication

research

∙ 03/18/2021

Exploiting Isomorphic Subgraphs in SAT (Long version)

While static symmetry breaking has been explored in the SAT community fo...

0 Alexander Ivrii, et al. ∙

research

∙ 12/21/2015

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

Constrained sampling and counting are two fundamental problems in artifi...

0 Kuldeep S. Meel, et al. ∙

research

∙ 12/09/2014

The Computational Complexity of Structure-Based Causality

Halpern and Pearl introduced a definition of actual causality; Eiter and...

0 Gadi Aleksandrowicz, et al. ∙