This is a project funded through IKYDA-2025 program for the promotion of exchanges and scientific cooperation between Greece and Germany (from 2025 to 2027) to advance the research on the slope-number graphs.
This is an ongoing project that leverages SAT-solving techniques to attack research challenges related to linear graph layouts. To cope with these challenges (both algorithmically and combinatorially).