Abstract Matrices and Constraints

Research output: Contribution to conference (unpublished)Abstract

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Publication statusPublished - 1 Jan 2005
EventProceedings of the 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice -
Duration: 1 Jan 2005 → …

Conference

ConferenceProceedings of the 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Period1/01/05 → …