![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | Yuliya Zabiyaka, Adnan Darwiche: Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies. SAT 2006: 116-129 |
2003 | ||
1 | EE | Peter S. Pacheco, Patrick Miller, Jin Kim, Taylor Leese, Yuliya Zabiyaka: Object-Oriented NeuroSys: Parallel Programs for Simulating Large Networks of Biologically Accurate Neurons. PVM/MPI 2003: 142-151 |
1 | Adnan Darwiche | [2] |
2 | Jin Kim | [1] |
3 | Taylor Leese | [1] |
4 | Patrick Miller | [1] |
5 | Peter S. Pacheco | [1] |