Login / Signup
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic.
Malay K. Ganai
Muralidhar Talupur
Aarti Gupta
Published in:
J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
</>
tight integration
domain specific
learning algorithm
case study
small number
logic programming
combinatorial optimization
strengths and weaknesses
information retrieval
genetic algorithm
search engine
knowledge base
training data
domain independent
proof theory