Constraint Satisfaction Problem (CSP) solving

Aries Design Automation, LLC works to extend the state-of-the-art in formal verification of hardware and software, Electronic Design Automation (EDA), cyber security, Boolean Satisfiability (SAT), solving Constraint Satisfaction Problems (CSPs), planning, scheduling, and other computer science and computer engineering applications. It designs and develops computer hardware and software and provides consulting services in these fields. In R&D projects for NASA, it is developing technology to formally verify computer systems on the Multi-Purpose Crew Vehic

Read more

Boolean Satisfiability (SAT)computer hardware and software design and developmentconsultingCyber securityElectronic Design Automation (EDA)formal verificationPlanningscheduling