Frank Vlach

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

1 Frank Vlach: Simplification in a Satisfiability Checker for VLSI Applications. J. Autom. Reasoning 10(1): 115-136 (1993)