Van patronen naar maze-structuren: SMT-gebaseerde padsynthetisatie en 2D/3D constructie

Gepubliceerd 14 July 2026

Dit rapport presenteert een methode voor het construeren van maze-structuren op basis van invoerpatronen zoals tekst of vormen. Het centrale probleem van padsynthetisatie wordt gecodeerd in Satisfiability Modulo Theories, waarbij globale beperkingen worden opgelegd aan nabijheid, continuïteit en patroon-geconstrueerde dekking. De resulterende paden kunnen zowel een vlakke, zelf-vermijdende route zijn als een gelaagd pad met voorgeschreven kruisingen. Dit rapport breidt een eerder gepubliceerde conferentiebijdrage uit met meer representatieve voorbeelden en een gedetailleerde uitleg over hoe gesynthetiseerde paden worden omgezet in concrete maze-constructies.