Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving.

Jeroen Bransen L. Thomas van Binsbergen Koen Claessen Atze Dijkstra

Published in: TACAS (2015)

Keyphrases

sat solving
linearly ordered
sat solvers
scheduling problem
boolean satisfiability
natural language
context free grammars
sat problem
np hard
orders of magnitude
symmetry breaking