Tasharrofi, Shahab

2 publications

AAAI 2016 SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

IJCAI 2013 A Rational Extension of Stable Model Semantics to the Full Propositional Language Shahab Tasharrofi