• BSP Visibility Determination
• Cumulative Constraint
• SAT Solution Spaces