Inproceedings,

Solving Boolean Satisfiability with Dynamic Hardware Configurations.

, , , and .
FPL, volume 1482 of Lecture Notes in Computer Science, page 326-335. Springer, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews