- Dec 09, 2024
-
-
Matěj Bagar authored
-
- Sep 30, 2024
-
-
Matěj Bagar authored
-
Matěj Bagar authored
-
- May 17, 2024
-
-
Matěj Bagar authored
-
- Mar 15, 2024
-
-
Matěj Bagar authored
-
Matěj Bagar authored
This reverts commit cbb63f6d.
-
Matěj Bagar authored
-
- Mar 08, 2024
-
-
Matěj Bagar authored
-
Matěj Bagar authored
-
Matěj Bagar authored
-
Matěj Bagar authored
-
Matěj Bagar authored
-
Matěj Bagar authored
-
- Mar 01, 2024
-
-
Samuel Pastva authored
-
- Feb 15, 2024
-
-
Matěj Bagar authored
-
Matěj Bagar authored
-
Matěj Bagar authored
-
- Feb 14, 2024
-
-
Samuel Pastva authored
-
Matěj Bagar authored
-
Samuel Pastva authored
-
Samuel Pastva authored
A faster restriction algorithm.
-
Samuel Pastva authored
-
Samuel Pastva authored
-
Samuel Pastva authored
-
Samuel Pastva authored
-
Samuel Pastva authored
-
- Feb 13, 2024
-
-
Matěj Bagar authored
-
- Jan 26, 2024
-
-
Samuel Pastva authored
Extend and Fix bibtex data
-
Steffan Sølvsten authored
Changes the README's bibtex such that 1. The title is properly capitalized in the LaTeX output 2. Reformats bibtex data to be columnar and hence easier to read for a human being. 3. Adds multiple "missing" fields. Otherwise, anyone who cites needs to dig up this information independently. There is no need for this extra work.
-
- Jan 23, 2024
-
-
Samuel Pastva authored
-
Samuel Pastva authored
-
- Dec 24, 2023
-
-
Samuel Pastva authored
-
Samuel Pastva authored
-
- Dec 20, 2023
-
-
Samuel Pastva authored
-
Samuel Pastva authored
-
- Dec 14, 2023
-
-
Samuel Pastva authored
-
Samuel Pastva authored
-
- Dec 01, 2023
-
-
Samuel Pastva authored
-
- Nov 29, 2023
-
-
Samuel Pastva authored
-
Samuel Pastva authored
-