About this scholarly article

Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000) - The 2-SAT problem of regular signed CNF formulas by Beckert, B.; Hahnle, R.; Manya, F. is a scholarly article available to read on EtoBox.

Author

Beckert, B.; Hahnle, R.; Manya, F.

Publisher

IEEE Comput. Soc

Published

2000

Language

EN