Neil Kettle

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

3 Neil Kettle, Andy King: An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Trans. on CAD of Integrated Circuits and Systems 27(4): 764-777 (2008)

2006

2 Neil Kettle, Andy King: An anytime symmetry detection algorithm for ROBDDs. ASP-DAC 2006: 243-248

1 Neil Kettle, Andy King, Tadeusz Strzemecki: Widening ROBDDs with Prime Implicants. TACAS 2006: 105-119

	2008
3		Neil Kettle, Andy King: An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Trans. on CAD of Integrated Circuits and Systems 27(4): 764-777 (2008)
	2006
2		Neil Kettle, Andy King: An anytime symmetry detection algorithm for ROBDDs. ASP-DAC 2006: 243-248
1		Neil Kettle, Andy King, Tadeusz Strzemecki: Widening ROBDDs with Prime Implicants. TACAS 2006: 105-119

Coauthor Index