A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols.

Sumit Gulwani George C. Necula

Published in: CADE (2003)

Keyphrases

function symbols
knuth bendix
logic programs
logic programming
machine learning
first order logic
normal form
answer set programming
term rewriting
artificial intelligence
prior knowledge
domain knowledge
software engineering
horn clauses
reasoning tasks