Skip to content
777 Sourcing.

Capability

Boolean Satisfiability (SAT)

Suppliers
1
States & provinces
1
Countries
1

1 boolean satisfiability (sat) supplier across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

ARIES DESIGN AUTOMATION, LLC

CHICAGO, IL

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

computer hardware and software design and developmentConstraint Satisfaction Problem (CSP) solvingconsultingCyber securityElectronic Design Automation (EDA)formal verificationPlanningscheduling

Compiled from public sources

Related capabilities

Other processes offered by the shops that list Boolean Satisfiability (SAT).

Browse all capabilities