Modal Satisfiability via SMT Solving.

Carlos Areces Pascal Fontaine Stephan Merz

Published in: Software, Services, and Systems (2015)

Keyphrases

satisfiability problem
sat encodings
stochastic local search
propositional logic
sat instances
statistical machine translation
search heuristics
search algorithm
lower bound
combinatorial optimization
sat problem