Publication
Detail
Publication date: 01/01/2003Constraint solving over multi-valued logics – application to digital circuits
| Journal | Thesis Abstract in AI Communications |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 16 |
| Journal | Thesis Abstract in AI Communications |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 16 |