Efficient Throughput Maximization in Dynamic Rechargeable Networks
Efficient Throughput Maximization in Dynamic Rechargeable Networks

Efficient static compaction of test patterns using partial maximum satisfiability
Efficient static compaction of test patterns using partial maximum satisfiability