28 commits

Author	SHA1	Message	Date
Martin Thoma	2d20945d12	WER calculation	2013-11-15 13:39:25 +01:00
Martin Thoma	6a645ad80d	misc	2013-11-04 12:32:07 +01:00
Martin Thoma	a9a73319a3	misc	2013-09-18 22:56:19 +02:00
Martin Thoma	0e9889a2ba	added preview	2013-09-12 16:18:43 +02:00
Martin Thoma	70f11df517	weitere Information	2013-09-07 15:37:14 +02:00
Martin Thoma	9cd9b55277	misc	2013-09-07 15:25:30 +02:00
Martin Thoma	03756e0131	DPLL	2013-09-07 15:04:33 +02:00
Martin Thoma	1260e20295	Resolutionsalgorithmus	2013-09-07 14:46:54 +02:00
Martin Thoma	2a6fb8abc9	misc	2013-09-01 17:40:24 +02:00
Martin Thoma	496a8b0adf	fixed another bug	2013-09-01 12:57:42 +02:00
Martin Thoma	b9095ef768	fixed bug	2013-09-01 12:40:23 +02:00
Martin Thoma	b0a72dc66c	fixed bug and added implementation	2013-09-01 12:38:44 +02:00
Martin Thoma	93cd7986b9	everything in english	2013-09-01 11:43:30 +02:00
Martin Thoma	98e1d1955c	0 and 1-case are essentially one case	2013-09-01 11:38:48 +02:00
Martin Thoma	0550c1d8e5	Simplified pseudocode	2013-09-01 11:29:01 +02:00
Martin Thoma	f111747eb1	Removed potenzation	2013-09-01 11:18:19 +02:00
Martin Thoma	0c402a5951	minor error	2013-09-01 11:10:31 +02:00
Martin Thoma	943a5c4aee	Legendre-Symbol	2013-09-01 11:01:24 +02:00
Martin Thoma	94da631d55	EAZ Entwurf begonnen	2013-08-22 22:06:19 +02:00
Martin Thoma	86ab5dfa97	misc	2013-06-29 10:14:22 +02:00
Martin Thoma	61d7185054	misc	2013-06-11 21:59:02 +02:00
Martin Thoma	241e9ec502	more pseudocode	2013-05-31 09:51:38 +02:00
Martin Thoma	fdc5bb932f	added algorithm of Stoer and Wagner	2013-02-20 10:47:39 +01:00
Martin Thoma	9598bd0055	added rendered push-relabel-pseudocode	2013-02-14 12:28:20 +01:00
Martin Thoma	ee468b23dc	misc	2013-02-13 20:26:49 +01:00
Martin Thoma	7c4cef9698	improved pseudocode	2013-02-11 13:31:07 +01:00
Martin Thoma	a9a8042403	added Pseudocode example	2013-02-07 11:34:19 +01:00
Martin Thoma	e150068faf	added 5 LaTeX examples	2012-08-10 10:56:38 +02:00