A contraction algorithm for finding small cycle cutsets

An exact algorithm for selecting partial scan flip-flops

DAC '94 Proceedings of the 31st annual Design Automation Conference

Retiming-Based Partial Scan

IEEE Transactions on Computers

Combinatorial Optimization by Dynamic Contraction

Journal of Heuristics

A contraction algorithm for finding minimal feedback sets

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38

A constraint programming approach to cutset problems

Computers and Operations Research

Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications

Pervasive and Mobile Computing

Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation

Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation

Small witnesses for abstract interpretation-based proofs

ESOP'07 Proceedings of the 16th European conference on Programming

OWL 2 modeling and reasoning with complex human activities

Pervasive and Mobile Computing

Applying local search to the feedback vertex set problem

Journal of Heuristics