Valokuva Shahab Tasharrofi

Shahab Tasharrofi

  • Tutkijatohtori, COIN
20162016

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.
Suodatin
Conference contribution

Hakutulokset

  • 2016

    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. (toim.). AAAI PRESS, s. 74-83

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    6 Sitaatiot (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, s. 978-984

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

  • SAT-To-SAT in QBFEval 2016

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    Open access
    Tiedosto
    3 Sitaatiot (Scopus)
    31 Lataukset (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, s. 307-313

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

  • Writing declarative specifications for clauses

    Gebser, M., Janhunen, T., Kaminski, R., Schaub, T. & Tasharrofi, S., 2016, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings. Springer Verlag, Vuosikerta 10021 LNAI. s. 256-271 16 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10021 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    2 Sitaatiot (Scopus)
Viestisi lähetys onnistui.
Viestiäsi ei lähetetty, koska tapahtui virhe.