%0 Journal Article %1 journals/rcs/Rangel-ValdezTJ13 %A Rangel-Valdez, Nelson %A Torres-Jiménez, José %A Jasso-Luna, Jorge Omar %A Rodriguez-Chavez, Mario Humberto %D 2013 %J Res. Comput. Sci. %K dblp %P 45-55 %T SAT Model for the Curriculum-Based Course Timetabling Problem. %U http://dblp.uni-trier.de/db/journals/rcs/rcs68.html#Rangel-ValdezTJ13 %V 68

@article{journals/rcs/Rangel-ValdezTJ13, added-at = {2023-07-18T00:00:00.000+0200}, author = {Rangel-Valdez, Nelson and Torres-Jiménez, José and Jasso-Luna, Jorge Omar and Rodriguez-Chavez, Mario Humberto}, biburl = {https://www.bibsonomy.org/bibtex/26721db7b6dffa4ccd7856a06a867e070/dblp}, ee = {http://www.micai.org/rcs/2013_68/SAT%20Model%20for%20the%20Curriculum-Based%20Course%20Timetabling%20Problem.pdf}, interhash = {e829921f1667f0ab557d39492c088106}, intrahash = {6721db7b6dffa4ccd7856a06a867e070}, journal = {Res. Comput. Sci.}, keywords = {dblp}, pages = {45-55}, timestamp = {2024-04-08T15:25:55.000+0200}, title = {SAT Model for the Curriculum-Based Course Timetabling Problem.}, url = {http://dblp.uni-trier.de/db/journals/rcs/rcs68.html#Rangel-ValdezTJ13}, volume = 68, year = 2013 }