20162016

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Doctor of Philosophy, Simon Fraser University

Award Date: 1 Feb 2014

Keywords

  • Knowledge representation and reasoning
  • Constraint Programming
  • Declarative Programming
  • Formal Verification
  • Logic programming
  • Computational logic

Fingerprint Dive into the research topics where Shahab Tasharrofi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 5 Conference contribution
  • 1 Article

Declarative Solver Development: Case Studies

Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.. Baral, C., Delgrande, J. & Wolter, F. (eds.). AAAI PRESS, p. 74-83

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 5 Citations (Scopus)

    SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

    Janhunen, T., Tasharrofi, S. & Ternovska, E., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). AAAI PRESS, p. 978-984

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • SAT-To-SAT in QBFEval 2016

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR, p. 63-70 8 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    3 Citations (Scopus)
    28 Downloads (Pure)

    Solving QBF Instances With Nested SAT Solvers

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the AAAI-16 Workshop on Beyond NP. AAAI, p. 307-313

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 Sep 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 570-586 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 8 Citations (Scopus)
    30 Downloads (Pure)