Author： Zhang H. Bonacina M.P.A.O.L.A. Hsiang J.
Publisher： Academic Press
ISSN： 0747-7171
Source： Journal of Symbolic Computation, Vol.21, Iss.4, 1996-04, pp. : 543-560
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS
Applied Artificial Intelligence, Vol. 21, Iss. 4-5, 2007-04 ,pp. :
Access to resources
Recommend
Parallel propositional satisfiability checking with distributed dynamic learning
By Blochinger W. Sinz C. Kuchlin W.
Parallel Computing, Vol. 29, Iss. 7, 2003-07 ,pp. :
Disturbing Fuzzy Propositional Logic and its Operators
By Liu Xin
Fuzzy Optimization and Decision Making, Vol. 5, Iss. 2, 2006-04 ,pp. :