Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Computer Science and Information Engineering / 資訊工程學系
Boolean rings for intersection-based satisfiability
Details
Boolean rings for intersection-based satisfiability
Journal
Lecture Notes in Computer Science
Journal Volume
4246 LNAI
Pages
482-496
Date Issued
2006
Author(s)
Dershowitz, N.
Hsiang, J.
Huang, G.-S.
Kaiss, D.
JIEH HSIANG
URI
http://www.scopus.com/inward/record.url?eid=2-s2.0-33845199466&partnerID=MN8TOARS
http://scholars.lib.ntu.edu.tw/handle/123456789/323345
Type
book
