SAT-Based Techniques for Automated Graph Construction

Full Title

SAT-Based Techniques for Automated Graph Construction

Description

This project investigates the use of Propositional Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) in novel approaches for the automated generation of graphs that respect a number of design constraints.

Funding Entity

INDUSTRY

Reference

Technical Service Agreement No. 15-004

Start Date

04/01/2016

End Date

03/01/2018

Status

Closed