Skip to content

Shahab Tasharrofi

Personal Homepage

My Social Media Profiles

Home
Research
Educational Background
Publications
Projects

Projects

SAT-to-SAT

Enfragmo

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.