Skip to content

Shahab Tasharrofi

Personal Homepage

My Social Media Profiles

DBLP Profile Google Scholar Research Gate Linkedin
  • Home
  • Research
  • Educational Background
  • Publications
  • Projects

Paper on Decl. Solver Dev. in KR 2016

January 21, 2016 shahab

Our paper, titled “Declarative Solver Development: Case Studies” is now accepted in KR 2016 which will be held in Cape town, South Africa.

Post navigation

Previous Post:Paper on QBF in Beyond NP 2016
Next Post:Paper on ASP* in ICLP 2016

News

  • Paper on xb-qsts in QBF CEUR
    September 2, 2016
  • 2nd rank in QBFEval 2016
    July 2, 2016
  • Paper on ASP* in ICLP 2016
    June 17, 2016
  • Paper on Decl. Solver Dev. in KR 2016
    January 21, 2016
  • Paper on QBF in Beyond NP 2016
    November 23, 2015
Powered by WordPress and zeeDynamic.