IDEI-2012

STRUCTCOMB,  “Structure and computational difficulty in combinatorial optimization: an interdisciplinary approach” contract

  • CNCS IDEI Grant PN-II-ID-PCE-2011-3-0981
  • Principal investigator: Gabriel Istrate.
  • Starting date: May 1st 2012.
  • Duration: until April 30 2015. April 30 2016. December 31, 2016

 

Documents

 

 

  • Project proposal and objectives
  • (Martie 2012, in romanian): Institutul e-Austria angajeaza cercetatori stiintifici (postdoctorali) in matematica-informatică in cadrul proiectului PN-II-ID-PCE-2011-3-0981 “Structure and computational difficulty in combinatorial optimization: an interdisciplinary approach” (data limita: 30 Aprilie 2012)
  • (March 2012, IN ENGLISH): Hiring ads: ANCS and Euraxess (only valid until April 30, 2012)
  • Reports (tar.gz.archive)

Team

collaborating with Eva Kaslik and Mircea Marin.

Deliverables

  • Programs to generate (hard to solve) instances of satisfiability/ILP based on Kneser and Schrijver’s theorems. (Note: SAT instances are in DIMACS-CNF format; for ILP solving one needs GUROBI)

Papers