Igor Shikanian

According to our database, Igor Shikanian authored at least 3 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

An Abstract Decision Procedure for a Theory of Inductive Data Types.

Clark W. Barrett, Igor Shikanian, Cesare Tinelli

J. Satisf. Boolean Model. Comput., 2007

2006

An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types.

Clark W. Barrett, Igor Shikanian, Cesare Tinelli

Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006

2004

A Practical Approach to Partial Functions in CVC Lite.

Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill

Proceedings of the Selected Papers from the Workshops on Disproving, 2004