Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue N1 2014 year

Multi-threaded Relevant LP-inference Implementation
S. Yu. Bolotova e-mail: bolotova.svetlana@gmail.com

Keywords: backward inference, relevant backward inference, logical equations, parallelism, multithreading
pp. 12–18