Elizabeth Broering

List of publications from the DBLP Bibliography Server - FAQ

2003

1 EE Elizabeth Broering, Satyanarayana V. Lokam: Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract). SAT 2003: 162-171

2003
1	EE	Elizabeth Broering, Satyanarayana V. Lokam: Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract). SAT 2003: 162-171

Coauthor Index