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 QBF in Beyond NP 2016

November 23, 2015 shahab

Our paper, titled “Solving QBF With Nested SAT Solvers” is now accepted in Beyond NP 2016 which is co-located with AAAI 2016 (i.e., Phoenix, AZ, USA).

Post navigation

Previous Post:Paper on SAT-to-SAT in AAAI 2016
Next Post:Paper on Decl. Solver Dev. in KR 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.