Shahab Tasharrofi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2010–2016
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | AAAI | Solving QBF Instances with Nested SAT Solvers. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2016 | AAAI | SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. | Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska |
| 2016 | JELIA | Writing Declarative Specifications for Clauses. | Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |
| 2016 | KR | Declarative Solver Development: Case Studies. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2016 | SAT | SAT-to-SAT in QBFEval 2016. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2014 | KR | Generalized Multi-Context Systems. | Shahab Tasharrofi, Eugenia Ternovska |
| 2013 | IJCAI | A Rational Extension of Stable Model Semantics to the Full Propositional Language. | Shahab Tasharrofi |
| 2012 | KR | Modular Representation of a Business Process Planner. | Shahab Tasharrofi, Eugenia Ternovska |
| 2012 | LPAR | Enfragmo: A System for Modelling and Solving Search Problems with Logic. | Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell |
| 2010 | LPAR | Speed-Up Techniques for Negation in Grounding. | Amir Aavani, Shahab Tasharrofi, Gulay nel, Eugenia Ternovska, David G. Mitchell |
| 2010 | LPAR | PBINT, A Logic for Modelling Search Problems Involving Arithmetic. | Shahab Tasharrofi, Eugenia Ternovska |