Drawing with SAT: four methods and A tool for producing railway infrastructure schematics.

Bjørnar Luteberget Christian Johansen

Published in: Formal Aspects Comput. (2021)

Keyphrases

preprocessing
case study
significant improvement
genetic algorithm
learning algorithm
search engine
web services
high quality
search algorithm
empirical studies
benchmark datasets
methods require