Témata pro aplikaci SAT solveru - pátek cvič. Vomlelová
The signup sheet has 36 places, with 0 participants
Bipartite dimension
1 places available in total (0 used, 1 free)
Cubic Subgraph (problém č. 26)
1 places available in total (0 used, 1 free)
Degree-constrained Spanning Tree
1 places available in total (0 used, 1 free)
Domatic Number
1 places available in total (0 used, 1 free)
Graph Isomorphism
1 places available in total (0 used, 1 free)
Graph Partitioning (problém č. 25)
1 places available in total (0 used, 1 free)
Hamiltonian Path
1 places available in total (0 used, 1 free)
Induced Subgraph Isomorphism
1 places available in total (0 used, 1 free)
Intersection Number
1 places available in total (0 used, 1 free)
Killer Sudoku, zobecnění pro mřížku n x n (kde n je čtverec)
057: Killer Sudoku , zobecnění pro mřížku n x n (kde n je čtverec)
1 places available in total (0 used, 1 free)
Largest Common Subgraph (problém č. 84)
1 places available in total (0 used, 1 free)
Longest Circuit (problém č. 17)
1 places available in total (0 used, 1 free)
Maximum Density Still Life
1 places available in total (0 used, 1 free)
Multi-agent pathfinding, stačí pro mřížový graf, makespan objective
1 places available in total (0 used, 1 free)
Nurikabe, stačí omezení na čísla 1 a 2
1 places available in total (0 used, 1 free)
Peaceably Co-existing Armies of Queens, zobecnění pro šachovnici $n\times n$
1 places available in total (0 used, 1 free)
Rural Postman (problém č. 34)
1 places available in total (0 used, 1 free)
Shortest Common Superstring (problém č. 16)
1 places available in total (0 used, 1 free)
Social Golfers Problem
1 places available in total (0 used, 1 free)
Sports Tournament Scheduling
1 places available in total (0 used, 1 free)
Square-Tiling (problém č. 54)
1 places available in total (0 used, 1 free)
Stable roommates problem
1 places available in total (0 used, 1 free)
Steiner Triple Systems
1 places available in total (0 used, 1 free)
Subgraph Isomorphism
1 places available in total (0 used, 1 free)
Word Design for DNA Computing on Surfaces
1 places available in total (0 used, 1 free)