id	sid	eid	entity	type
app01-4651	1	1	acta polytechnica ctu proceedings doi:10.14311	PERSON
app01-4651	1	2	acta polytechnica ctu proceedings	ORG
app01-4651	1	3	13:135–141	CARDINAL
app01-4651	1	4	2017	CARDINAL
app01-4651	1	5	czech technical university	ORG
app01-4651	1	6	prague	GPE
app01-4651	1	7	2017	CARDINAL
app01-4651	1	8	wang	ORG
app01-4651	1	9	marek tyburec∗	FAC
app01-4651	1	10	czech	NORP
app01-4651	1	11	prague	GPE
app01-4651	1	12	thákurova 7	ORG
app01-4651	1	13	166 29	CARDINAL
app01-4651	1	14	6	CARDINAL
app01-4651	1	15	czech	NORP
app01-4651	1	16	∗	CARDINAL
app01-4651	1	17	marek.tyburec@fsv.cvut.cz	PERSON
app01-4651	2	1	wang	PERSON
app01-4651	4	1	np	ORG
app01-4651	6	1	wang	PERSON
app01-4651	7	1	1	CARDINAL
app01-4651	7	2	wang	PERSON
app01-4651	7	3	hao wang	PERSON
app01-4651	7	4	1	CARDINAL
app01-4651	8	1	wang	PERSON
app01-4651	8	2	wang	ORG
app01-4651	10	1	wang	ORG
app01-4651	11	1	1	CARDINAL
app01-4651	12	1	2	CARDINAL
app01-4651	12	2	wang	PERSON
app01-4651	13	1	a year later	DATE
app01-4651	13	2	kahr	PERSON
app01-4651	13	3	3	CARDINAL
app01-4651	13	4	4	CARDINAL
app01-4651	13	5	5	CARDINAL
app01-4651	16	1	1.1	CARDINAL
app01-4651	16	2	wang	ORG
app01-4651	16	3	berger	PERSON
app01-4651	16	4	20	CARDINAL
app01-4651	16	5	426	CARDINAL
app01-4651	17	1	6	CARDINAL
app01-4651	17	2	104	CARDINAL
app01-4651	17	3	wang	PERSON
app01-4651	18	1	1	CARDINAL
app01-4651	18	2	2	CARDINAL
app01-4651	18	3	2	CARDINAL
app01-4651	19	1	berger	PERSON
app01-4651	19	2	wang	ORG
app01-4651	20	1	1966	DATE
app01-4651	20	2	wang	PERSON
app01-4651	20	3	40	CARDINAL
app01-4651	20	4	16	CARDINAL
app01-4651	20	5	1975	DATE
app01-4651	20	6	8	CARDINAL
app01-4651	21	1	knuth	PERSON
app01-4651	21	2	berger	PERSON
app01-4651	21	3	92	CARDINAL
app01-4651	21	4	26	CARDINAL
app01-4651	21	5	9	CARDINAL
app01-4651	21	6	robinson	PERSON
app01-4651	21	7	104	CARDINAL
app01-4651	21	8	52	CARDINAL
app01-4651	21	9	1967	DATE
app01-4651	21	10	10	CARDINAL
app01-4651	21	11	56	CARDINAL
app01-4651	21	12	12	CARDINAL
app01-4651	21	13	1971	DATE
app01-4651	21	14	11	CARDINAL
app01-4651	21	15	35	CARDINAL
app01-4651	21	16	11	CARDINAL
app01-4651	22	1	1973	DATE
app01-4651	22	2	penrose	GPE
app01-4651	22	3	34	CARDINAL
app01-4651	23	1	robinson	PERSON
app01-4651	23	2	penrose	GPE
app01-4651	23	3	penrose	GPE
app01-4651	23	4	32	CARDINAL
app01-4651	23	5	16	CARDINAL
app01-4651	23	6	12	CARDINAL
app01-4651	24	1	penrose	GPE
app01-4651	24	2	24	CARDINAL
app01-4651	24	3	9	CARDINAL
app01-4651	24	4	1987	DATE
app01-4651	24	5	12	CARDINAL
app01-4651	25	1	two	CARDINAL
app01-4651	26	1	1978	DATE
app01-4651	26	2	16	CARDINAL
app01-4651	26	3	6	CARDINAL
app01-4651	26	4	13	CARDINAL
app01-4651	27	1	12	CARDINAL
app01-4651	27	2	robinson	PERSON
app01-4651	27	3	24	CARDINAL
app01-4651	27	4	24	CARDINAL
app01-4651	27	5	1977	DATE
app01-4651	28	1	1996	DATE
app01-4651	28	2	14	CARDINAL
app01-4651	28	3	6	CARDINAL
app01-4651	28	4	14	CARDINAL
app01-4651	29	1	13	CARDINAL
app01-4651	29	2	5	CARDINAL
app01-4651	29	3	15	CARDINAL
app01-4651	30	1	135	CARDINAL
app01-4651	31	1	http://dx.doi.org/10.14311/app.2017.13.0135 http://ojs.cvut.cz/ojs/index.php/app marek tyburec	PRODUCT
app01-4651	31	2	jan zeman acta polytechnica ctu	ORG
app01-4651	31	3	11	CARDINAL
app01-4651	31	4	4 and 5	CARDINAL
app01-4651	31	5	10	CARDINAL
app01-4651	31	6	less than 4	CARDINAL
app01-4651	31	7	16	CARDINAL
app01-4651	32	1	wang	PERSON
app01-4651	32	2	2006	DATE
app01-4651	32	3	wang	PERSON
app01-4651	32	4	17	CARDINAL
app01-4651	33	1	the same year	DATE
app01-4651	33	2	44	CARDINAL
app01-4651	33	3	6	CARDINAL
app01-4651	33	4	18	CARDINAL
app01-4651	34	1	30	CARDINAL
app01-4651	34	2	6	CARDINAL
app01-4651	34	3	19	CARDINAL
app01-4651	35	1	wang	ORG
app01-4651	35	2	17	CARDINAL
app01-4651	35	3	section 4	LAW
app01-4651	36	1	1.2	CARDINAL
app01-4651	36	2	wang	PERSON
app01-4651	37	1	2	CARDINAL
app01-4651	37	2	20	CARDINAL
app01-4651	38	1	2003	DATE
app01-4651	38	2	cohen et al	PERSON
app01-4651	38	3	wang	ORG
app01-4651	38	4	21	CARDINAL
app01-4651	39	1	wang	PERSON
app01-4651	40	1	wang	ORG
app01-4651	40	2	22	CARDINAL
app01-4651	41	1	first	ORDINAL
app01-4651	41	2	wang	PERSON
app01-4651	41	3	23	CARDINAL
app01-4651	41	4	24	CARDINAL
app01-4651	42	1	25	CARDINAL
app01-4651	43	1	26	CARDINAL
app01-4651	43	2	wang	PERSON
app01-4651	44	1	1.3	CARDINAL
app01-4651	46	1	21	CARDINAL
app01-4651	46	2	27	CARDINAL
app01-4651	52	1	28	CARDINAL
app01-4651	52	2	29	CARDINAL
app01-4651	53	1	30	CARDINAL
app01-4651	56	1	1.4	CARDINAL
app01-4651	58	1	section 2	LAW
app01-4651	61	1	section 3	LAW
app01-4651	61	2	section 4. 2	DATE
app01-4651	61	3	2.1	CARDINAL
app01-4651	62	1	w	GPE
app01-4651	62	2	w	GPE
app01-4651	63	1	wang	PERSON
app01-4651	63	2	w	PERSON
app01-4651	64	1	1	CARDINAL
app01-4651	64	2	4	CARDINAL
app01-4651	65	1	two	CARDINAL
app01-4651	66	1	1	CARDINAL
app01-4651	66	2	two	CARDINAL
app01-4651	67	1	2	CARDINAL
app01-4651	68	1	2	CARDINAL
app01-4651	68	2	136	CARDINAL
app01-4651	69	1	13/2017	CARDINAL
app01-4651	69	2	wang	PERSON
app01-4651	69	3	wm	PERSON
app01-4651	69	4	2	CARDINAL
app01-4651	69	5	k-	ORG
app01-4651	71	1	2.2	CARDINAL
app01-4651	71	2	linear programming	ORG
app01-4651	71	3	0	CARDINAL
app01-4651	71	4	1}nt	DATE
app01-4651	71	5	∈	ORG
app01-4651	71	6	1	CARDINAL
app01-4651	71	7	j ∈	PERSON
app01-4651	71	8	1	CARDINAL
app01-4651	73	1	0	CARDINAL
app01-4651	73	2	1	CARDINAL
app01-4651	74	1	3	CARDINAL
app01-4651	74	2	∑ k∈t xi	PERSON
app01-4651	74	3	1	CARDINAL
app01-4651	74	4	∈	ORG
app01-4651	74	5	4	CARDINAL
app01-4651	74	6	1	CARDINAL
app01-4651	74	7	∈	ORG
app01-4651	75	1	∑ k∈t xi	PERSON
app01-4651	76	1	0	CARDINAL
app01-4651	77	1	5	CARDINAL
app01-4651	78	1	5	CARDINAL
app01-4651	78	2	0	CARDINAL
app01-4651	78	3	1	CARDINAL
app01-4651	79	1	4	CARDINAL
app01-4651	79	2	only two	CARDINAL
app01-4651	79	3	1− 1	CARDINAL
app01-4651	79	4	0	CARDINAL
app01-4651	79	5	6	CARDINAL
app01-4651	80	1	0	CARDINAL
app01-4651	80	2	7	CARDINAL
app01-4651	80	3	5	CARDINAL
app01-4651	82	1	2	CARDINAL
app01-4651	83	1	linear	ORG
app01-4651	84	1	8a	CARDINAL
app01-4651	84	2	∑ k∈t xi	PERSON
app01-4651	84	3	∑ k∈t xi	PERSON
app01-4651	84	4	0	CARDINAL
app01-4651	84	5	∈	ORG
app01-4651	84	6	∈	ORG
app01-4651	84	7	8b	CARDINAL
app01-4651	84	8	∑ k∈t xi,j	PERSON
app01-4651	84	9	∑ k∈t xi+1,j	PERSON
app01-4651	84	10	0	CARDINAL
app01-4651	84	11	∈	ORG
app01-4651	84	12	8c	CARDINAL
app01-4651	84	13	∑ k∈t xi,j	PERSON
app01-4651	84	14	1	CARDINAL
app01-4651	84	15	∈	ORG
app01-4651	84	16	∈	ORG
app01-4651	84	17	8d	CARDINAL
app01-4651	84	18	k ∈	PERSON
app01-4651	84	19	0	CARDINAL
app01-4651	84	20	1	CARDINAL
app01-4651	84	21	∈	ORG
app01-4651	84	22	∈	ORG
app01-4651	84	23	∈	ORG
app01-4651	85	1	8e	CARDINAL
app01-4651	85	2	8)	CARDINAL
app01-4651	85	3	8e	CARDINAL
app01-4651	87	1	31	CARDINAL
app01-4651	88	1	2.3	CARDINAL
app01-4651	89	1	linear programming	ORG
app01-4651	89	2	8e	CARDINAL
app01-4651	89	3	0 ≤	QUANTITY
app01-4651	89	4	∈	ORG
app01-4651	89	5	∈	ORG
app01-4651	89	6	∈	ORG
app01-4651	90	1	9	CARDINAL
app01-4651	91	1	9	CARDINAL
app01-4651	91	2	8e	CARDINAL
app01-4651	92	1	8)	CARDINAL
app01-4651	92	2	10a	DATE
app01-4651	92	3	∑ k∈t xi	PERSON
app01-4651	92	4	∑ k∈t xi	PERSON
app01-4651	93	1	0	CARDINAL
app01-4651	93	2	∈	ORG
app01-4651	93	3	∈	ORG
app01-4651	93	4	∑ k∈t xi,j	PERSON
app01-4651	93	5	∑ k∈t xi+1,j	PERSON
app01-4651	93	6	0	CARDINAL
app01-4651	93	7	∈	ORG
app01-4651	93	8	10c	CARDINAL
app01-4651	93	9	∑ k∈t xi,j	PERSON
app01-4651	93	10	1	CARDINAL
app01-4651	93	11	∈	ORG
app01-4651	93	12	∈	ORG
app01-4651	93	13	10d	ORDINAL
app01-4651	94	1	∈	ORG
app01-4651	94	2	∈	ORG
app01-4651	94	3	∈	ORG
app01-4651	95	1	10e	CARDINAL
app01-4651	95	2	2.4	DATE
app01-4651	96	1	semidefinite programming	ORG
app01-4651	96	2	8e	CARDINAL
app01-4651	97	1	k −	PERSON
app01-4651	98	1	∈	ORG
app01-4651	98	2	∈	ORG
app01-4651	98	3	∈	ORG
app01-4651	98	4	11	CARDINAL
app01-4651	98	5	0	CARDINAL
app01-4651	98	6	1	CARDINAL
app01-4651	98	7	8e	CARDINAL
app01-4651	100	1	0	CARDINAL
app01-4651	100	2	1	CARDINAL
app01-4651	100	3	−1	CARDINAL
app01-4651	100	4	1	CARDINAL
app01-4651	100	5	1 2(y + 1	MONEY
app01-4651	101	1	12	CARDINAL
app01-4651	102	1	3	CARDINAL
app01-4651	104	1	−1	DATE
app01-4651	104	2	1	CARDINAL
app01-4651	105	1	13	CARDINAL
app01-4651	105	2	137 marek	QUANTITY
app01-4651	105	3	jan zeman acta polytechnica ctu proceedings min	ORG
app01-4651	106	1	s.t	PERSON
app01-4651	106	2	∑ k∈t	PERSON
app01-4651	106	3	0	CARDINAL
app01-4651	106	4	∈	ORG
app01-4651	106	5	∈	ORG
app01-4651	106	6	∑ k∈t	PERSON
app01-4651	107	1	yi+1,j,k + 1)[nk	ORG
app01-4651	107	2	0	CARDINAL
app01-4651	107	3	∈	ORG
app01-4651	107	4	14c	CARDINAL
app01-4651	107	5	∑ k∈t yi	PERSON
app01-4651	107	6	∈	ORG
app01-4651	107	7	∈	ORG
app01-4651	109	1	1	CARDINAL
app01-4651	109	2	∈	ORG
app01-4651	109	3	∈	ORG
app01-4651	109	4	∈	ORG
app01-4651	110	1	y·nt	DATE
app01-4651	110	2	x·nt	PERSON
app01-4651	111	1	15	CARDINAL
app01-4651	111	2	14	CARDINAL
app01-4651	111	3	1	CARDINAL
app01-4651	112	1	1	CARDINAL
app01-4651	113	1	8)	CARDINAL
app01-4651	113	2	∑ k∈t	PERSON
app01-4651	113	3	0	CARDINAL
app01-4651	113	4	∈	ORG
app01-4651	113	5	∈	ORG
app01-4651	113	6	16b	CARDINAL
app01-4651	113	7	∑ k∈t	PERSON
app01-4651	114	1	yi+1,j,k + 1)[nk	ORG
app01-4651	114	2	0	CARDINAL
app01-4651	114	3	∈	ORG
app01-4651	114	4	∑ k∈t yi	PERSON
app01-4651	114	5	∈	ORG
app01-4651	114	6	∈	ORG
app01-4651	114	7	1	CARDINAL
app01-4651	114	8	16e	CARDINAL
app01-4651	114	9	0	CARDINAL
app01-4651	114	10	32	CARDINAL
app01-4651	114	11	17	CARDINAL
app01-4651	114	12	lemma	ORG
app01-4651	114	13	1	CARDINAL
app01-4651	114	14	0	CARDINAL
app01-4651	115	1	18	CARDINAL
app01-4651	115	2	linear	ORG
app01-4651	115	3	8)	CARDINAL
app01-4651	115	4	∑ k∈t	PERSON
app01-4651	116	1	0	CARDINAL
app01-4651	116	2	∈	ORG
app01-4651	116	3	∈	ORG
app01-4651	116	4	∑ k∈t	PERSON
app01-4651	116	5	yi+1,j,k + 1)[nk	ORG
app01-4651	116	6	0	CARDINAL
app01-4651	116	7	∈	ORG
app01-4651	116	8	19c	CARDINAL
app01-4651	116	9	∑ k∈t yi	PERSON
app01-4651	116	10	∈	ORG
app01-4651	116	11	∈	ORG
app01-4651	116	12	1	CARDINAL
app01-4651	116	13	1	CARDINAL
app01-4651	116	14	1 ≤	QUANTITY
app01-4651	116	15	19	CARDINAL
app01-4651	116	16	2.5	CARDINAL
app01-4651	118	1	12	CARDINAL
app01-4651	119	1	2.5.1	CARDINAL
app01-4651	120	1	four	CARDINAL
app01-4651	121	1	first	ORDINAL
app01-4651	121	2	1	CARDINAL
app01-4651	121	3	k ∈	ORG
app01-4651	122	1	20	CARDINAL
app01-4651	123	1	k ∈	ORG
app01-4651	124	1	21	CARDINAL
app01-4651	124	2	k − xp	PERSON
app01-4651	124	3	∈	ORG
app01-4651	124	4	∈	ORG
app01-4651	124	5	∈	ORG
app01-4651	125	1	22	CARDINAL
app01-4651	125	2	k+xp	PERSON
app01-4651	125	3	k ≤ 1	FAC
app01-4651	125	4	∈	ORG
app01-4651	125	5	∈	ORG
app01-4651	125	6	∈	ORG
app01-4651	126	1	23	CARDINAL
app01-4651	126	2	2.5.2	CARDINAL
app01-4651	127	1	5	CARDINAL
app01-4651	130	1	1	CARDINAL
app01-4651	130	2	∈	ORG
app01-4651	130	3	24	CARDINAL
app01-4651	130	4	that∑	NORP
app01-4651	131	1	∈	ORG
app01-4651	131	2	25	CARDINAL
app01-4651	131	3	138	CARDINAL
app01-4651	132	1	13/2017	CARDINAL
app01-4651	132	2	wang	PERSON
app01-4651	132	3	two	CARDINAL
app01-4651	132	4	∑ k∈t xp	PERSON
app01-4651	133	1	∈	ORG
app01-4651	133	2	∈	ORG
app01-4651	133	3	26	CARDINAL
app01-4651	135	1	∈	ORG
app01-4651	135	2	∈	ORG
app01-4651	135	3	27	CARDINAL
app01-4651	135	4	2.5.3	CARDINAL
app01-4651	137	1	by∑ k∈t x1,j	ORG
app01-4651	137	2	∑ k∈t xnt	PERSON
app01-4651	137	3	0	CARDINAL
app01-4651	137	4	∈	ORG
app01-4651	137	5	∈	ORG
app01-4651	137	6	∑ k∈t xi,1,k[wk	PERSON
app01-4651	138	1	∑ k∈t xi	PERSON
app01-4651	138	2	w	GPE
app01-4651	138	3	∈	ORG
app01-4651	138	4	∈	ORG
app01-4651	138	5	2.5.4	CARDINAL
app01-4651	139	1	30	CARDINAL
app01-4651	141	1	28	CARDINAL
app01-4651	141	2	with∑	GPE
app01-4651	141	3	∑ j∈w xi	PERSON
app01-4651	141	4	1	CARDINAL
app01-4651	141	5	∈	PRODUCT
app01-4651	142	1	29	CARDINAL
app01-4651	142	2	2.5.5	CARDINAL
app01-4651	144	1	3	CARDINAL
app01-4651	144	2	0	CARDINAL
app01-4651	144	3	1	CARDINAL
app01-4651	144	4	10	CARDINAL
app01-4651	144	5	−1	DATE
app01-4651	144	6	1	CARDINAL
app01-4651	144	7	19	CARDINAL
app01-4651	144	8	one	CARDINAL
app01-4651	145	1	10	CARDINAL
app01-4651	145	2	19	CARDINAL
app01-4651	148	1	problem1	PERSON
app01-4651	148	2	33	CARDINAL
app01-4651	152	1	3.1	CARDINAL
app01-4651	153	1	firstly	ORDINAL
app01-4651	154	1	∑ j∈w ∑ k∈t	PERSON
app01-4651	157	1	30	CARDINAL
app01-4651	157	2	∑ j∈w ∑ k∈t	PERSON
app01-4651	161	1	3.2	CARDINAL
app01-4651	164	1	max ∀i∈h,∀j∈w	PERSON
app01-4651	164	2	∑ k∈t	PERSON
app01-4651	168	1	32	CARDINAL
app01-4651	168	2	max ∀i∈h,∀j∈w	PERSON
app01-4651	171	1	33	CARDINAL
app01-4651	171	2	4	DATE
app01-4651	174	1	34	CARDINAL
app01-4651	174	2	mosek	PERSON
app01-4651	174	3	35	CARDINAL
app01-4651	175	1	gurobi	PERSON
app01-4651	176	1	five	CARDINAL
app01-4651	176	2	11	CARDINAL
app01-4651	176	3	4	CARDINAL
app01-4651	176	4	16	CARDINAL
app01-4651	176	5	13	CARDINAL
app01-4651	176	6	15	CARDINAL
app01-4651	176	7	16	CARDINAL
app01-4651	176	8	12	CARDINAL
app01-4651	176	9	40	CARDINAL
app01-4651	177	1	12	CARDINAL
app01-4651	178	1	139 marek	QUANTITY
app01-4651	178	2	jan zeman acta polytechnica ctu	ORG
app01-4651	178	3	11(4	DATE
app01-4651	179	1	16	CARDINAL
app01-4651	180	1	15	CARDINAL
app01-4651	181	1	12	CARDINAL
app01-4651	182	1	8	CARDINAL
app01-4651	183	1	19	CARDINAL
app01-4651	183	2	5× 5 0.13	QUANTITY
app01-4651	184	1	0.10	CARDINAL
app01-4651	185	1	0.10	CARDINAL
app01-4651	186	1	0.01	CARDINAL
app01-4651	186	2	0.01	CARDINAL
app01-4651	187	1	12.65	CARDINAL
app01-4651	187	2	s/78	ORG
app01-4651	188	1	11.07	CARDINAL
app01-4651	189	1	21.66	CARDINAL
app01-4651	190	1	360.40	CARDINAL
app01-4651	191	1	126.17	CARDINAL
app01-4651	192	1	0.12	CARDINAL
app01-4651	193	1	0.13	CARDINAL
app01-4651	193	2	0.02	CARDINAL
app01-4651	193	3	0.03	CARDINAL
app01-4651	194	1	6 69.60 s/34	QUANTITY
app01-4651	195	1	227.24	CARDINAL
app01-4651	196	1	184.23	CARDINAL
app01-4651	196	2	1517.59	CARDINAL
app01-4651	196	3	1522.72	CARDINAL
app01-4651	197	1	15× 15 151.82	CARDINAL
app01-4651	197	2	s/2190	ORG
app01-4651	198	1	6000	CARDINAL
app01-4651	198	2	2.15	CARDINAL
app01-4651	198	3	8.52	CARDINAL
app01-4651	199	1	0.13	CARDINAL
app01-4651	200	1	15× 15	DATE
app01-4651	200	2	0.06	CARDINAL
app01-4651	201	1	0.09	CARDINAL
app01-4651	202	1	0.39	CARDINAL
app01-4651	203	1	0.79	CARDINAL
app01-4651	204	1	1.49	CARDINAL
app01-4651	205	1	20×	CARDINAL
app01-4651	205	2	20 1545.94	DATE
app01-4651	205	3	s/26137	GPE
app01-4651	206	1	over 6000	CARDINAL
app01-4651	206	2	8.52	CARDINAL
app01-4651	207	1	32.09	CARDINAL
app01-4651	208	1	4.23	CARDINAL
app01-4651	209	1	20×	CARDINAL
app01-4651	209	2	20 0.08	CARDINAL
app01-4651	210	1	0.12	CARDINAL
app01-4651	211	1	0.79	CARDINAL
app01-4651	212	1	1.57	CARDINAL
app01-4651	213	1	8.01	CARDINAL
app01-4651	214	1	25× 25	DATE
app01-4651	214	2	396.5	CARDINAL
app01-4651	215	1	0.12	CARDINAL
app01-4651	216	1	1.34	CARDINAL
app01-4651	217	1	2.96	CARDINAL
app01-4651	218	1	23.95	CARDINAL
app01-4651	219	1	30× 30	DATE
app01-4651	219	2	390.18	CARDINAL
app01-4651	219	3	s/3821	ORG
app01-4651	220	1	1361.51	CARDINAL
app01-4651	221	1	2.31	CARDINAL
app01-4651	222	1	5.23	CARDINAL
app01-4651	223	1	48.97	CARDINAL
app01-4651	223	2	1	CARDINAL
app01-4651	224	1	sdp	ORG
app01-4651	224	2	lpg	ORG
app01-4651	225	1	30	CARDINAL
app01-4651	225	2	19	CARDINAL
app01-4651	227	1	intel	ORG
app01-4651	227	2	4210h	DATE
app01-4651	227	3	1	CARDINAL
app01-4651	229	1	linear	ORG
app01-4651	231	1	gurobi	ORG
app01-4651	233	1	5	CARDINAL
app01-4651	235	1	five	CARDINAL
app01-4651	237	1	6	CARDINAL
app01-4651	237	2	w	ORG
app01-4651	239	1	k	PERSON
app01-4651	239	2	nc	GPE
app01-4651	240	1	w xi	GPE
app01-4651	240	2	k ∈	PERSON
app01-4651	240	3	0	CARDINAL
app01-4651	240	4	1	CARDINAL
app01-4651	240	5	k ∈	PERSON
app01-4651	240	6	−1	CARDINAL
app01-4651	240	7	1	CARDINAL
app01-4651	240	8	140	CARDINAL
app01-4651	241	1	13/2017	CARDINAL
app01-4651	241	2	wang	PERSON
app01-4651	241	3	prague	GPE
app01-4651	241	4	the czech republic	GPE
app01-4651	241	5	the ministry of industry and trade	ORG
app01-4651	241	6	mpo fv10202	PERSON
app01-4651	241	7	the czech republic	GPE
app01-4651	242	1	1	CARDINAL
app01-4651	242	2	h. wang	PERSON
app01-4651	243	1	aea	PERSON
app01-4651	245	1	23–55, 1962	DATE
app01-4651	246	1	2	CARDINAL
app01-4651	246	2	h. wang	PERSON
app01-4651	247	1	bell system technical journal	ORG
app01-4651	247	2	40(1):1–41, 1961	DATE
app01-4651	249	1	3	CARDINAL
app01-4651	249	2	a. m. turing	PERSON
app01-4651	251	1	london	GPE
app01-4651	251	2	42(1):230–265, 1937	DATE
app01-4651	253	1	4	CARDINAL
app01-4651	253	2	m. davis	PERSON
app01-4651	253	3	computability & unsolvability	ORG
app01-4651	254	1	dover	GPE
app01-4651	255	1	dover	GPE
app01-4651	255	2	1958	DATE
app01-4651	256	1	5	CARDINAL
app01-4651	256	2	a. s. kahr	PERSON
app01-4651	256	3	e. f. moore	PERSON
app01-4651	256	4	h. wang	PERSON
app01-4651	256	5	entscheidungsproblem	PERSON
app01-4651	257	1	the national academy of sciences 48(3):365–377, 1962	ORG
app01-4651	258	1	6	CARDINAL
app01-4651	258	2	r. berger	PERSON
app01-4651	260	1	66	CARDINAL
app01-4651	261	1	american mathematical	ORG
app01-4651	261	2	1966	DATE
app01-4651	263	1	7	CARDINAL
app01-4651	263	2	r. berger	PERSON
app01-4651	265	1	ph.d	ORG
app01-4651	266	1	harvard university, 1964	ORG
app01-4651	267	1	8	CARDINAL
app01-4651	267	2	h. wang	PERSON
app01-4651	269	1	82(4):295–305, 1975	DATE
app01-4651	270	1	9	CARDINAL
app01-4651	270	2	d. e. knuth	PERSON
app01-4651	273	1	1	CARDINAL
app01-4651	274	1	addison-wesley publishing co.	ORG
app01-4651	274	2	mass.-london-don	GPE
app01-4651	274	3	1968	DATE
app01-4651	275	1	10	CARDINAL
app01-4651	276	1	une théorie	PERSON
app01-4651	277	1	groupe d’étude des théories stables	ORG
app01-4651	277	2	3(1):1–9, 1980	DATE
app01-4651	278	1	11	CARDINAL
app01-4651	278	2	r. m. robinson	PERSON
app01-4651	280	1	12(3):177–209	CARDINAL
app01-4651	280	2	1971	DATE
app01-4651	282	1	12	CARDINAL
app01-4651	282	2	g. c. shephard	PERSON
app01-4651	284	1	freeman	PERSON
app01-4651	284	2	1987	DATE
app01-4651	285	1	13	CARDINAL
app01-4651	285	2	r. m. robinson	PERSON
app01-4651	287	1	44(3):259–264, 1978	DATE
app01-4651	288	1	bf01403163	GPE
app01-4651	289	1	14	CARDINAL
app01-4651	289	2	j. kari	PERSON
app01-4651	290	1	wang	ORG
app01-4651	291	1	160(1-3):259–264, 1996	DATE
app01-4651	292	1	365x(95)00120	CARDINAL
app01-4651	292	2	15	CARDINAL
app01-4651	292	3	k. čulík	PERSON
app01-4651	293	1	13	CARDINAL
app01-4651	293	2	wang	PERSON
app01-4651	294	1	160(1-3):245–251, 1996	DATE
app01-4651	295	1	doi:10.1016	PERSON
app01-4651	295	2	365x(96)00118	CARDINAL
app01-4651	296	1	16	CARDINAL
app01-4651	296	2	e. jeandel	PERSON
app01-4651	296	3	m. rao	PERSON
app01-4651	297	1	11	CARDINAL
app01-4651	297	2	2015	DATE
app01-4651	299	1	17	CARDINAL
app01-4651	299	2	a. lagae	PERSON
app01-4651	299	3	p. dutré	PERSON
app01-4651	300	1	wang	ORG
app01-4651	301	1	25(4):1442–1459, 2006	DATE
app01-4651	303	1	18	CARDINAL
app01-4651	303	2	a. lagae	PERSON
app01-4651	303	3	j. kari	PERSON
app01-4651	303	4	p. dutré	PERSON
app01-4651	305	1	cw 460	FAC
app01-4651	305	2	2006	DATE
app01-4651	306	1	19	CARDINAL
app01-4651	307	1	cloverfield	ORG
app01-4651	307	2	wang	PERSON
app01-4651	308	1	finland	GPE
app01-4651	308	2	2016	DATE
app01-4651	309	1	20	CARDINAL
app01-4651	309	2	j. kari	PERSON
app01-4651	310	1	2d	CARDINAL
app01-4651	311	1	45(13):379–385, 1990	DATE
app01-4651	312	1	2789(90)90195	CARDINAL
app01-4651	312	2	21	CARDINAL
app01-4651	312	3	m. f. cohen	PERSON
app01-4651	312	4	j. shade	PERSON
app01-4651	312	5	s. hiller	PERSON
app01-4651	312	6	o. deussen	PERSON
app01-4651	313	1	wang	PERSON
app01-4651	314	1	22(3):287	CARDINAL
app01-4651	314	2	2003	DATE
app01-4651	316	1	22	CARDINAL
app01-4651	316	2	e. winfree	PERSON
app01-4651	316	3	f. liu	PERSON
app01-4651	316	4	l. a. wenzler	PERSON
app01-4651	316	5	n. c. seeman	PERSON
app01-4651	316	6	two	CARDINAL
app01-4651	317	1	394(6693):539–544, 1998	DATE
app01-4651	319	1	23	CARDINAL
app01-4651	319	2	j. novák	PERSON
app01-4651	319	3	a. kučerová	PERSON
app01-4651	319	4	j. zeman	PERSON
app01-4651	320	1	wang	ORG
app01-4651	321	1	2012	DATE
app01-4651	323	1	24	CARDINAL
app01-4651	323	2	m. doškář	PERSON
app01-4651	323	3	j. novák	PERSON
app01-4651	323	4	j. zeman	PERSON
app01-4651	323	5	wang	ORG
app01-4651	324	1	90(6	CARDINAL
app01-4651	324	2	2014	DATE
app01-4651	326	1	25	CARDINAL
app01-4651	326	2	m. doškář	PERSON
app01-4651	326	3	j. novák	ORG
app01-4651	328	1	computers &	ORG
app01-4651	328	2	166:33–41	CARDINAL
app01-4651	328	3	2016	DATE
app01-4651	329	1	doi:10.1016	GPE
app01-4651	330	1	26	CARDINAL
app01-4651	330	2	m. tyburec	PERSON
app01-4651	331	1	wang	PERSON
app01-4651	331	2	czech technical university	ORG
app01-4651	331	3	prague	GPE
app01-4651	331	4	2017	DATE
app01-4651	332	1	doi:10.13140/rg.2.2.23612.85126	ORG
app01-4651	333	1	27	CARDINAL
app01-4651	333	2	a. lagae	PERSON
app01-4651	333	3	p. dutré	PERSON
app01-4651	335	1	24(4):1442–1461, 2005	DATE
app01-4651	336	1	doi:10.1145/1095878.1095888	PERSON
app01-4651	337	1	28	CARDINAL
app01-4651	339	1	39, 1974	DATE
app01-4651	340	1	doi:10.2307/2272641	PERSON
app01-4651	341	1	29	CARDINAL
app01-4651	341	2	e. jeandel	PERSON
app01-4651	344	1	334–343	CARDINAL
app01-4651	345	1	springer berlin heidelberg	PERSON
app01-4651	345	2	2012	DATE
app01-4651	347	1	30	CARDINAL
app01-4651	347	2	a. lagae	PERSON
app01-4651	347	3	p. dutré	PERSON
app01-4651	349	1	17(1):8–18, 2007	DATE
app01-4651	350	1	31	CARDINAL
app01-4651	350	2	r. m. karp	PERSON
app01-4651	354	1	1972	DATE
app01-4651	355	1	2001-2_9	DATE
app01-4651	356	1	32	CARDINAL
app01-4651	356	2	s. boyd	PERSON
app01-4651	356	3	l. vandenberghe	PERSON
app01-4651	357	1	semidefinite programming	ORG
app01-4651	359	1	279–287	CARDINAL
app01-4651	360	1	1997	DATE
app01-4651	362	1	33	CARDINAL
app01-4651	362	2	l. wolsey	PERSON
app01-4651	364	1	john wiley & sons, inc.	ORG
app01-4651	364	2	1988	DATE
app01-4651	366	1	34	CARDINAL
app01-4651	366	2	2017	DATE
app01-4651	368	1	35	CARDINAL
app01-4651	368	2	aps	ORG
app01-4651	368	3	mosek	PERSON
app01-4651	368	4	2017	DATE
app01-4651	370	1	141	CARDINAL
app01-4651	372	1	http://docs.mosek.com/8.1/cxxfusion acta polytechnica ctu	ORG
app01-4651	372	2	13:135–141	CARDINAL
app01-4651	372	3	2017 1	DATE
app01-4651	372	4	1.1	CARDINAL
app01-4651	372	5	1.2	CARDINAL
app01-4651	372	6	1.3	CARDINAL
app01-4651	372	7	1.4	CARDINAL
app01-4651	372	8	2	CARDINAL
app01-4651	372	9	2.1	CARDINAL
app01-4651	372	10	2.2	CARDINAL
app01-4651	372	11	2.3	CARDINAL
app01-4651	372	12	2.4	CARDINAL
app01-4651	372	13	2.5	CARDINAL
app01-4651	372	14	2.5.1	CARDINAL
app01-4651	372	15	2.5.2	CARDINAL
app01-4651	372	16	2.5.3	CARDINAL
app01-4651	372	17	2.5.4	CARDINAL
app01-4651	372	18	2.5.5	CARDINAL
app01-4651	372	19	3	CARDINAL
app01-4651	372	20	3.1	CARDINAL
app01-4651	372	21	3.2	CARDINAL
app01-4651	372	22	4	CARDINAL
app01-4651	372	23	5	CARDINAL
app01-4651	372	24	6	CARDINAL