sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing
Proceedings of the 2002 international symposium on Physical design
Discrete Applied Mathematics
Towards inferring protein interactions: challenges and solutions
EURASIP Journal on Applied Signal Processing
Hi-index | 0.00 |