Sukrut Rao
Sukrut Rao
Home
Publications
Projects
Experience
Awards
Contact
timetabling
Timetabler
A highly customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
BibTeX
×