C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SAT-Based Summarization for Boolean Programs.
Gérard Basler
Daniel Kroening
Georg Weissenbacher
Published in:
SPIN (2007)
Keyphrases
</>
answer sets
computer programs
boolean functions
answer set programming
ai planning
real valued
multi document summarization
sat solvers
sat encodings
constraint solver
fixpoint
orders of magnitude
video sequences
text summarization
planning problems
logic programs
active learning
automatic summarization
web services