CAV
2012
Springer
12 years 2 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
JGAA
2006
14 years 12 days ago
2006
Visualization of circuits is an important research area in electronic design automation. One commonly accepted method to visualize a circuit aligns the gates to layers and uses or...
DATE
2002
IEEE
14 years 5 months ago
2002
IEEE
The structure of Internet applications and scenarios is changing rapidly today. This offers new potential for established technologies and methods to expand their area of applicat...