JavaScript must be enabled in order to use this site. Please enable JavaScript in your browser and refresh the page. Paradigm Covered Topics Decision variables Constraints Enumeration and search strategy Scheduling Linear relaxations Parent Topic Kalis Reference Manual