Presentation description
Chop-SAT produces a convex polytope feasible region, and the goals here are to explore properties of the feasible region, including:
- projected points found by using linear programming to obtain extreme points,
- properties of points in the feasible region, and
- neural net models of the feasible region.
Presenter Name: Amelia Lessen
Presentation Type: Oral
Presentation Format: Virtual
College: Engineering
School / Department: School of Computing
Email: u1149219@utah.edu
Research Mentor: Thomas Henderson