SAT-Based Techniques in System Synthesis.

Christian Haubelt Jürgen Teich Rainer Feldmann Burkhard Monien

Published in: DATE (2003)

Keyphrases

answer set programming
ai planning
program synthesis
bounded model checking
artificial intelligence
knowledge base
evolutionary algorithm
sat solvers
texture synthesis
version space
real time
data sets
neural network
information retrieval
case study
lower bound