[IEEE 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century - Vancouver, BC, Canada (22-25 Oct. 1995)] 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century - An implementation of the Davis-Putnam procedure using network structures
Hsin-Tai Yang,, Chih-Hung Wu,, Shie-Jue Lee,Volume:
5
Year:
1995
Language:
english
DOI:
10.1109/icsmc.1995.538458
File:
PDF, 387 KB
english, 1995