Satisfiability Machines

Železný, F.

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