Amir Hedayaty

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Symmetry Breaking

Formal Concepts

Constraint Satisfaction Problems

Top Venues

J. Multiple Valued Log. Soft Comput.

Publications

Andrei A. Bulatov, Amir Hedayaty
Galois Correspondence for Counting Quantifiers. J. Multiple Valued Log. Soft Comput. 24 (5-6) (2015)
Andrei A. Bulatov, Amir Hedayaty
Counting Problems and Clones of Functions. J. Multiple Valued Log. Soft Comput. 18 (2) (2012)
Andrei A. Bulatov, Amir Hedayaty
Galois correspondence for counting quantifiers CoRR (2012)
Andrei A. Bulatov, Amir Hedayaty
Counting Predicates, Subset Surjective Functions, and Counting CSPs. ISMVL (2012)