---
title: "Discussion on \"Z3 to cool graphs to timetable schedules \" | Hashnode"
description: "Discussion on \"Z3 to cool graphs to timetable schedules \". Interval edge coloring of complete tripartite graphs"
url: "https://hashnode.com/posts/z3-to-cool-graphs-to-timetable-schedules/6a9826f06dc12a6f7755997f"
---

[Feed](https://hashnode.com/feed) /

Discussion

# [Z3 to cool graphs to timetable schedules](https://lilit-tries.hashnode.dev/z3-to-cool-graphs-to-timetable-schedules?utm_source=hashnode&utm_medium=feed)

Interval edge coloring of complete tripartite graphs

Sep 2 · 12 min read · lilit-tries.hashnode.dev  
Read the article

-   [#graphs](https://hashnode.com/tag/graphs)
-   [#z3](https://hashnode.com/tag/z3)

## Written by

[Lilit Galstyan](https://hashnode.com/@lilit-lilit)

@lilit-lilit · Yerevan, Armenia

  
[View profile](https://hashnode.com/@lilit-lilit)

Learning through little fun projects

## Responses

Markdown supported · ⌘↵ to post

No responses yet.