Citation: Pe. Dunne et Tjm. Benchcapon, THE MAXIMUM LENGTH OF PRIME IMPLICATES FOR INSTANCES OF 3-SAT, Artificial intelligence, 92(1-2), 1997, pp. 317-329
Authors:
COENEN F
BEATTIE B
DIAZ B
BENCHCAPON TJM
SHAVE MJR
Citation: F. Coenen et al., TEMPORAL REASONING USING TESSERAL ADDRESSING - TOWARDS AN INTELLIGENTENVIRONMENTAL-IMPACT ASSESSMENT SYSTEM, Knowledge-based systems, 9(5), 1996, pp. 287-300
Citation: Rc. Paton et al., AN EXAMINATION OF SOME METAPHORICAL CONTEXTS FOR BIOLOGICALLY MOTIVATED COMPUTING, British journal for the philosophy of science, 45(2), 1994, pp. 505-525