scientific article

From MaRDI portal

Publication:2783125

Jump to:navigation, search

zbMath0985.68574MaRDI QIDQ2783125

Publication date: 2 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational synthesis system constraint-based design systems design-as-satisfiability technique

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)

Related Items (1)

Combinatorial optimization in system configuration design

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2783125&oldid=15668347"