Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Field-programmable gate arrays
Field-programmable gate arrays
Logic synthesis for engineering change
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Proceedings of the 1997 international symposium on Physical design
Methodologies for Tolerating Cell and Interconnect Faults in FPGAs
IEEE Transactions on Computers
FPGA '99 Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays
GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
An implicit connection graph maze routing algorithm for ECO routing
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Efficient incremental rerouting for fault reconfiguration in field programmable gate arrays
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
VPR: A new packing, placement and routing tool for FPGA research
FPL '97 Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications
sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing
Proceedings of the 2002 international symposium on Physical design
Efficient SAT solving: beyond supercubes
Proceedings of the 42nd annual Design Automation Conference
Integration of supercubing and learning in a SAT solver
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
B-Cubing: New Possibilities for Efficient SAT-Solving
IEEE Transactions on Computers
| Hi-index | 0.00 |