| |
other persons with the same name:
| 2009 | ||
|---|---|---|
| 2 | EE | Miroslav N. Velev, Ping Gao: Efficient SAT-based techniques for Design of Experiments by using static variable ordering. ISQED 2009: 371-376 |
| 2008 | ||
| 1 | EE | Miroslav N. Velev, Ping Gao: Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. DATE 2008: 1268-1273 |
| 1 | Miroslav N. Velev | [1] [2] |