Article,

Extending the Reach of SAT with Many-Valued Logics.

, , , , and .
Electron. Notes Discret. Math., (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews