Satisfiability Machines
ŽELEZNÝ, F. Satisfiability Machines. In: MUGGLETON, S.H. and H. WATANABE, eds. Latest Advances in Inductive Logic Programming. London: Imperial College Press, 2014. p. 113-120. ISBN 978-1-78326-508-4.
ŽELEZNÝ, F. Satisfiability Machines. In: MUGGLETON, S.H. and H. WATANABE, eds. Latest Advances in Inductive Logic Programming. London: Imperial College Press, 2014. p. 113-120. ISBN 978-1-78326-508-4.