Skip to content
Snippets Groups Projects
Select Git revision
  • 8954bc671d971c88e023db56803dbb0ae614bde7
  • devel default
  • master
  • fo
  • jirka/typing
  • fo-base
  • mj/submit-images
  • jk/issue-96
  • jk/issue-196
  • honza/add-contestant
  • honza/mr7
  • honza/mrf
  • honza/mrd
  • honza/mra
  • honza/mr6
  • honza/submit-images
  • honza/kolo-vs-soutez
  • jh-stress-test-wip
  • shorten-schools
19 results

mo-submit

Daniel Gonçalves's avatar
Daniel Gonçalves authored
- small typos
- def of $l_{i,j}$
- removed $i(H)$, 
- reintroduced the definition of tree decomposition (T,b)
9c39d3a6
History
Name Last commit Last update