Login / Signup

Matrix Method for Principal Normal Form of Propositional Formula.

Tingming WangAiqing Wang
Published in: SNPD (3) (2007)
Keyphrases
  • normal form
  • databases
  • objective function
  • relational databases
  • combinatorial optimization