CatSAT: A Practical, Embedded, SAT Language for Runtime PCG.

Ian Douglas Horswill

Published in: AIIDE (2018)

Keyphrases

programming language
natural language
real world
database
data sets
search algorithm
language learning
phase transition
embedded systems
sat solvers
sat problem
specification language
satisfiability problem
sat solving