id	sid	eid	entity	type
app01-3392	1	1	acta polytechnica ctu proceedings doi:10.14311	PERSON
app01-3392	1	2	acta polytechnica ctu	ORG
app01-3392	1	3	2:1–7	CARDINAL
app01-3392	1	4	2015	CARDINAL
app01-3392	1	5	czech technical university	ORG
app01-3392	1	6	prague	GPE
app01-3392	1	7	2015	CARDINAL
app01-3392	1	8	charles university	PERSON
app01-3392	1	9	malostranske namesti 2/25	PERSON
app01-3392	1	10	1	CARDINAL
app01-3392	1	11	czech	NORP
app01-3392	1	12	∗	CARDINAL
app01-3392	7	1	2011	DATE
app01-3392	9	1	1	CARDINAL
app01-3392	14	1	one	CARDINAL
app01-3392	15	1	selman	PERSON
app01-3392	16	1	1	CARDINAL
app01-3392	17	1	year	DATE
app01-3392	18	1	3	CARDINAL
app01-3392	18	2	6	CARDINAL
app01-3392	20	1	2	CARDINAL
app01-3392	20	2	first	ORDINAL
app01-3392	23	1	2011	DATE
app01-3392	23	2	ipc	ORG
app01-3392	24	1	7	CARDINAL
app01-3392	25	1	2	CARDINAL
app01-3392	26	1	2.1	CARDINAL
app01-3392	26	2	two	CARDINAL
app01-3392	29	1	only one	CARDINAL
app01-3392	29	2	two	CARDINAL
app01-3392	31	1	∨ yk	PERSON
app01-3392	31	2	¬x∨y1∨	PERSON
app01-3392	33	1	φ	ORG
app01-3392	34	1	φ	ORG
app01-3392	34	2	φ	ORG
app01-3392	35	1	φ	ORG
app01-3392	36	1	φ	PERSON
app01-3392	39	1	2.2	CARDINAL
app01-3392	41	1	8	CARDINAL
app01-3392	41	2	9	CARDINAL
app01-3392	42	1	•	CARDINAL
app01-3392	45	1	1	CARDINAL
app01-3392	45	2	http://ojs.cvut.cz/ojs/index.php/app t. balyo	GPE
app01-3392	45	3	r. barták	PERSON
app01-3392	45	4	acta polytechnica ctu proceedings	ORG
app01-3392	45	5	• o	DATE
app01-3392	46	1	∈	ORG
app01-3392	48	1	•	CARDINAL
app01-3392	49	1	one	CARDINAL
app01-3392	51	1	si ∈ s	PERSON
app01-3392	52	1	sg	ORG
app01-3392	52	2	sg	ORG
app01-3392	52	3	⊆	CARDINAL
app01-3392	52	4	⊆	CARDINAL
app01-3392	52	5	s.	PERSON
app01-3392	55	1	apply(a2	PERSON
app01-3392	56	1	sg ⊆	ORG
app01-3392	57	1	2.3	CARDINAL
app01-3392	58	1	makespan k	PERSON
app01-3392	62	1	⊕	GPE
app01-3392	63	1	aj	PERSON
app01-3392	63	2	aj+1	NORP
app01-3392	65	1	10	CARDINAL
app01-3392	67	1	3	CARDINAL
app01-3392	68	1	two	CARDINAL
app01-3392	68	2	⊆	CARDINAL
app01-3392	71	1	1	CARDINAL
app01-3392	72	1	two	CARDINAL
app01-3392	73	1	1	CARDINAL
app01-3392	73	2	2	CARDINAL
app01-3392	73	3	2	CARDINAL
app01-3392	74	1	sp4 k	PERSON
app01-3392	76	1	sp5	ORG
app01-3392	76	2	k	PERSON
app01-3392	77	1	1	CARDINAL
app01-3392	79	1	two	CARDINAL
app01-3392	81	1	3	CARDINAL
app01-3392	81	2	1	CARDINAL
app01-3392	82	1	f1	PERSON
app01-3392	82	2	f2	ORG
app01-3392	83	1	makespan ≤ i.	ORG
app01-3392	83	2	one	CARDINAL
app01-3392	83	3	one	CARDINAL
app01-3392	83	4	f1	PERSON
app01-3392	83	5	first	ORDINAL
app01-3392	84	1	makespan k.	PERSON
app01-3392	84	2	1	CARDINAL
app01-3392	84	3	selman	PERSON
app01-3392	85	1	1	CARDINAL
app01-3392	86	1	year	DATE
app01-3392	87	1	3	CARDINAL
app01-3392	87	2	6	CARDINAL
app01-3392	88	1	3	CARDINAL
app01-3392	91	1	4	CARDINAL
app01-3392	93	1	2	CARDINAL
app01-3392	93	2	2	CARDINAL
app01-3392	94	1	2/2015	CARDINAL
app01-3392	94	2	one	CARDINAL
app01-3392	94	3	dom(x	ORG
app01-3392	95	1	three	CARDINAL
app01-3392	96	1	•	CARDINAL
app01-3392	96	2	6=	CARDINAL
app01-3392	96	3	⊆	CARDINAL
app01-3392	96	4	dom(x	NORP
app01-3392	99	1	eff(a	GPE
app01-3392	100	1	•	CARDINAL
app01-3392	104	1	2	CARDINAL
app01-3392	104	2	1	CARDINAL
app01-3392	104	3	3	CARDINAL
app01-3392	104	4	1	CARDINAL
app01-3392	104	5	2	CARDINAL
app01-3392	104	6	one	CARDINAL
app01-3392	104	7	3→1	CARDINAL
app01-3392	104	8	one	CARDINAL
app01-3392	104	9	one	CARDINAL
app01-3392	109	1	∈	ORG
app01-3392	110	1	∆x ⊆	CARDINAL
app01-3392	111	1	three	CARDINAL
app01-3392	112	1	•	CARDINAL
app01-3392	113	1	one	CARDINAL
app01-3392	114	1	•	CARDINAL
app01-3392	115	1	one	CARDINAL
app01-3392	115	2	∈	ORG
app01-3392	115	3	∈	ORG
app01-3392	115	4	dom(x	ORG
app01-3392	116	1	•	CARDINAL
app01-3392	117	1	one	CARDINAL
app01-3392	119	1	one	CARDINAL
app01-3392	120	1	vi ∨	PERSON
app01-3392	120	2	{vi	PERSON
app01-3392	120	3	⊆	CARDINAL
app01-3392	120	4	dom(x	NORP
app01-3392	120	5	1	CARDINAL
app01-3392	122	1	1	CARDINAL
app01-3392	122	2	three	CARDINAL
app01-3392	123	1	first	ORDINAL
app01-3392	124	1	∈	ORG
app01-3392	124	2	1	CARDINAL
app01-3392	125	1	2	CARDINAL
app01-3392	126	1	the end of the	DATE
app01-3392	126	2	first	ORDINAL
app01-3392	126	3	8)	CARDINAL
app01-3392	127	1	∈	ORG
app01-3392	127	2	2	CARDINAL
app01-3392	128	1	3	CARDINAL
app01-3392	128	2	third	ORDINAL
app01-3392	128	3	∨ ctδ1	ORG
app01-3392	128	4	∨ ctδm	PERSON
app01-3392	130	1	1	CARDINAL
app01-3392	132	1	4	CARDINAL
app01-3392	135	1	¬at	ORG
app01-3392	135	2	1	CARDINAL
app01-3392	136	1	5	CARDINAL
app01-3392	139	1	∨ atsm	PERSON
app01-3392	140	1	1	CARDINAL
app01-3392	142	1	6	CARDINAL
app01-3392	143	1	∈	ORG
app01-3392	143	2	∈	ORG
app01-3392	147	1	r. barták	PERSON
app01-3392	147	2	acta polytechnica ctu proceedings	ORG
app01-3392	148	1	aj ∈	PERSON
app01-3392	148	2	aj	PERSON
app01-3392	148	3	1	CARDINAL
app01-3392	152	1	two	CARDINAL
app01-3392	153	1	two	CARDINAL
app01-3392	154	1	5	CARDINAL
app01-3392	154	2	2	CARDINAL
app01-3392	154	3	more than one	CARDINAL
app01-3392	154	4	1	CARDINAL
app01-3392	156	1	aj ∈	PERSON
app01-3392	156	2	aj	PERSON
app01-3392	156	3	1	CARDINAL
app01-3392	158	1	7	CARDINAL
app01-3392	161	1	∈	ORG
app01-3392	164	1	∈	ORG
app01-3392	164	2	9	CARDINAL
app01-3392	164	3	1	CARDINAL
app01-3392	164	4	2	DATE
app01-3392	164	5	3	DATE
app01-3392	164	6	4	DATE
app01-3392	164	7	5	DATE
app01-3392	164	8	6	DATE
app01-3392	164	9	7	DATE
app01-3392	164	10	8	DATE
app01-3392	164	11	9	CARDINAL
app01-3392	165	1	φ	ORG
app01-3392	166	1	∈	ORG
app01-3392	166	2	φ(ati	ORG
app01-3392	168	1	4.1	CARDINAL
app01-3392	169	1	1	CARDINAL
app01-3392	170	1	φ	PERSON
app01-3392	170	2	makespan k	PERSON
app01-3392	172	1	•	CARDINAL
app01-3392	172	2	2	CARDINAL
app01-3392	172	3	3	DATE
app01-3392	172	4	5 •	CARDINAL
app01-3392	172	5	2	CARDINAL
app01-3392	172	6	3	DATE
app01-3392	172	7	5 •	CARDINAL
app01-3392	172	8	7	CARDINAL
app01-3392	173	1	⊕	GPE
app01-3392	174	1	one	CARDINAL
app01-3392	174	2	2	CARDINAL
app01-3392	174	3	3	DATE
app01-3392	174	4	1	CARDINAL
app01-3392	174	5	6	CARDINAL
app01-3392	176	1	two	CARDINAL
app01-3392	176	2	2	CARDINAL
app01-3392	176	3	3	DATE
app01-3392	176	4	4	DATE
app01-3392	176	5	1	CARDINAL
app01-3392	177	1	∈	ORG
app01-3392	177	2	dom(x	ORG
app01-3392	179	1	5	CARDINAL
app01-3392	180	1	8	CARDINAL
app01-3392	180	2	first	ORDINAL
app01-3392	180	3	2	CARDINAL
app01-3392	182	1	makespan k	PERSON
app01-3392	182	2	φ	ORG
app01-3392	183	1	one	CARDINAL
app01-3392	183	2	1	CARDINAL
app01-3392	184	1	7	CARDINAL
app01-3392	185	1	4	CARDINAL
app01-3392	186	1	2/2015	CARDINAL
app01-3392	186	2	4.2	CARDINAL
app01-3392	189	1	n = |o|	ORG
app01-3392	190	1	•	CARDINAL
app01-3392	193	1	•	CARDINAL
app01-3392	194	1	eff(a)|	GPE
app01-3392	196	1	•	CARDINAL
app01-3392	197	1	•	CARDINAL
app01-3392	200	1	makespan k	PERSON
app01-3392	200	2	kvd	PERSON
app01-3392	202	1	2	CARDINAL
app01-3392	204	1	one	CARDINAL
app01-3392	204	2	two	CARDINAL
app01-3392	205	1	1	CARDINAL
app01-3392	205	2	2	DATE
app01-3392	205	3	3	DATE
app01-3392	205	4	4	DATE
app01-3392	205	5	5	DATE
app01-3392	205	6	6	DATE
app01-3392	205	7	7	DATE
app01-3392	205	8	8	DATE
app01-3392	205	9	9 •	CARDINAL
app01-3392	205	10	1	CARDINAL
app01-3392	205	11	two	CARDINAL
app01-3392	208	1	2	CARDINAL
app01-3392	208	2	3	CARDINAL
app01-3392	210	1	4	CARDINAL
app01-3392	211	1	5	CARDINAL
app01-3392	211	2	2p	CARDINAL
app01-3392	214	1	6	CARDINAL
app01-3392	215	1	7	CARDINAL
app01-3392	218	1	8	CARDINAL
app01-3392	220	1	9	CARDINAL
app01-3392	223	1	k(n2 +	LOC
app01-3392	224	1	5	CARDINAL
app01-3392	224	2	three	CARDINAL
app01-3392	225	1	30 minutes	TIME
app01-3392	225	2	four	CARDINAL
app01-3392	228	1	•	CARDINAL
app01-3392	229	1	first	ORDINAL
app01-3392	229	2	1	CARDINAL
app01-3392	232	1	•	CARDINAL
app01-3392	233	1	implementation1	PRODUCT
app01-3392	233	2	2	CARDINAL
app01-3392	235	1	•	CARDINAL
app01-3392	236	1	5	CARDINAL
app01-3392	237	1	three	CARDINAL
app01-3392	240	1	5.1	CARDINAL
app01-3392	241	1	1	CARDINAL
app01-3392	241	2	2	DATE
app01-3392	242	1	1	CARDINAL
app01-3392	244	1	30 minutes	TIME
app01-3392	244	2	f2	ORG
app01-3392	245	1	30 minutes	TIME
app01-3392	246	1	f2	ORG
app01-3392	248	1	1the	CARDINAL
app01-3392	248	2	5	CARDINAL
app01-3392	248	3	r. barták	PERSON
app01-3392	248	4	acta polytechnica ctu	ORG
app01-3392	248	5	dir sase	ORG
app01-3392	248	6	4	CARDINAL
app01-3392	248	7	20	CARDINAL
app01-3392	248	8	18	CARDINAL
app01-3392	248	9	0	CARDINAL
app01-3392	248	10	10	CARDINAL
app01-3392	248	11	9	CARDINAL
app01-3392	248	12	2	CARDINAL
app01-3392	248	13	2	CARDINAL
app01-3392	248	14	16	CARDINAL
app01-3392	248	15	13	CARDINAL
app01-3392	248	16	12	CARDINAL
app01-3392	248	17	20 20 20 20	TIME
app01-3392	248	18	156 133	CARDINAL
app01-3392	248	19	172	CARDINAL
app01-3392	248	20	1	CARDINAL
app01-3392	249	1	20	CARDINAL
app01-3392	249	2	30 minutes	TIME
app01-3392	250	1	intel	ORG
app01-3392	250	2	2.67	CARDINAL
app01-3392	250	3	6	CARDINAL
app01-3392	252	1	20	CARDINAL
app01-3392	252	2	14	CARDINAL
app01-3392	252	3	280	CARDINAL
app01-3392	255	1	12	CARDINAL
app01-3392	256	1	only a few seconds	TIME
app01-3392	257	1	5.2	CARDINAL
app01-3392	258	1	1	CARDINAL
app01-3392	262	1	only two	CARDINAL
app01-3392	262	2	twenty	CARDINAL
app01-3392	264	1	four	CARDINAL
app01-3392	265	1	three	CARDINAL
app01-3392	265	2	dir sase	PERSON
app01-3392	265	3	121	CARDINAL
app01-3392	265	4	121 84	CARDINAL
app01-3392	265	5	190	CARDINAL
app01-3392	265	6	190	CARDINAL
app01-3392	265	7	190 85	CARDINAL
app01-3392	265	8	302	CARDINAL
app01-3392	265	9	344 169	CARDINAL
app01-3392	265	10	347	CARDINAL
app01-3392	265	11	347 30	CARDINAL
app01-3392	265	12	261 261 261 30	QUANTITY
app01-3392	265	13	222	CARDINAL
app01-3392	265	14	222 158	CARDINAL
app01-3392	265	15	83	CARDINAL
app01-3392	265	16	61	CARDINAL
app01-3392	265	17	17	CARDINAL
app01-3392	265	18	60	CARDINAL
app01-3392	265	19	27	CARDINAL
app01-3392	265	20	14 15 15 6	TIME
app01-3392	265	21	221	CARDINAL
app01-3392	265	22	262 55	CARDINAL
app01-3392	265	23	223	CARDINAL
app01-3392	265	24	110	CARDINAL
app01-3392	265	25	34	CARDINAL
app01-3392	265	26	68	CARDINAL
app01-3392	265	27	2	CARDINAL
app01-3392	270	1	seven	CARDINAL
app01-3392	272	1	2	CARDINAL
app01-3392	272	2	three	CARDINAL
app01-3392	274	1	three	CARDINAL
app01-3392	275	1	3	CARDINAL
app01-3392	277	1	2	CARDINAL
app01-3392	278	1	makespans	NORP
app01-3392	279	1	6	CARDINAL
app01-3392	280	1	2/2015	CARDINAL
app01-3392	280	2	dir sase	ORG
app01-3392	280	3	2041.44	CARDINAL
app01-3392	280	4	1680.53	CARDINAL
app01-3392	280	5	2999.30	CARDINAL
app01-3392	280	6	33.96	CARDINAL
app01-3392	280	7	55.72	MONEY
app01-3392	280	8	38.10	CARDINAL
app01-3392	280	9	288.29	CARDINAL
app01-3392	280	10	7327.15 2083.57	CARDINAL
app01-3392	280	11	1380.63	CARDINAL
app01-3392	280	12	1894.65	CARDINAL
app01-3392	280	13	1927.40	CARDINAL
app01-3392	280	14	2679.68	CARDINAL
app01-3392	280	15	10.07	CARDINAL
app01-3392	280	16	3796.11	CARDINAL
app01-3392	280	17	2096.72	CARDINAL
app01-3392	280	18	4971.97	CARDINAL
app01-3392	280	19	830.72	CARDINAL
app01-3392	280	20	1401.21	CARDINAL
app01-3392	280	21	831.80	MONEY
app01-3392	280	22	1118.89	CARDINAL
app01-3392	280	23	592.03	CARDINAL
app01-3392	280	24	550.18	CARDINAL
app01-3392	280	25	75.68	CARDINAL
app01-3392	280	26	118.09 480.85	CARDINAL
app01-3392	280	27	1404.23	CARDINAL
app01-3392	280	28	3203.62 7418.01	CARDINAL
app01-3392	280	29	2380.76	CARDINAL
app01-3392	280	30	14.24	CARDINAL
app01-3392	280	31	2.57	CARDINAL
app01-3392	280	32	138.61	CARDINAL
app01-3392	280	33	3	CARDINAL
app01-3392	281	1	seconds	TIME
app01-3392	284	1	6	CARDINAL
app01-3392	285	1	2011	DATE
app01-3392	286	1	three	CARDINAL
app01-3392	286	2	seven	CARDINAL
app01-3392	286	3	fourteen	CARDINAL
app01-3392	287	1	four	CARDINAL
app01-3392	289	1	the czech science foundation	ORG
app01-3392	289	2	charles university	ORG
app01-3392	291	1	390214	DATE
app01-3392	292	1	260	CARDINAL
app01-3392	293	1	1	CARDINAL
app01-3392	293	2	h. a. kautz	PERSON
app01-3392	293	3	b. selman	PERSON
app01-3392	296	1	359–363	CARDINAL
app01-3392	296	2	1992	DATE
app01-3392	299	1	2	CARDINAL
app01-3392	299	2	r. huang	PERSON
app01-3392	299	3	y. chen	PERSON
app01-3392	299	4	w. zhang	PERSON
app01-3392	301	1	m. fox	PERSON
app01-3392	301	2	d. poole	ORG
app01-3392	301	3	aaai	ORG
app01-3392	301	4	aaai press	ORG
app01-3392	301	5	2010	DATE
app01-3392	304	1	3	CARDINAL
app01-3392	304	2	j. rintanen	PERSON
app01-3392	304	3	k. heljanko	PERSON
app01-3392	304	4	i. niemelä.	PERSON
app01-3392	306	1	artif	PERSON
app01-3392	306	2	170(12-13):1031–1080	CARDINAL
app01-3392	307	1	doi:10.1016/j.artint.2006.08.002	ORG
app01-3392	308	1	4	CARDINAL
app01-3392	308	2	c. gretton	PERSON
app01-3392	308	3	d. n. pham	PERSON
app01-3392	308	4	a. sattar	PERSON
app01-3392	309	1	a. gerevini	PERSON
app01-3392	309	2	a. e. howe	PERSON
app01-3392	309	3	a. cesta	PERSON
app01-3392	309	4	i. refanidis	PERSON
app01-3392	310	1	aaai	ORG
app01-3392	310	2	2009	DATE
app01-3392	312	1	5	CARDINAL
app01-3392	312	2	t. balyo	GPE
app01-3392	314	1	ictai	GPE
app01-3392	315	1	865–871	TIME
app01-3392	316	1	2013	DATE
app01-3392	317	1	doi:10.1109	NORP
app01-3392	318	1	6	CARDINAL
app01-3392	320	1	artif intell 193:45–86,	PERSON
app01-3392	320	2	2012	DATE
app01-3392	321	1	doi:10.1016/j.artint.2012.08.001	ORG
app01-3392	322	1	7	CARDINAL
app01-3392	322	2	c. l. lópez	PERSON
app01-3392	322	3	s. j. celorrio	PERSON
app01-3392	322	4	á	ORG
app01-3392	322	5	g. olaya	PERSON
app01-3392	323	1	seventh	ORDINAL
app01-3392	324	1	2015	DATE
app01-3392	325	1	doi:10.1016	GPE
app01-3392	326	1	8	CARDINAL
app01-3392	326	2	c. bäckström	PERSON
app01-3392	326	3	b. nebel	PERSON
app01-3392	328	1	11:625–656, 1995	DATE
app01-3392	329	1	doi:10.1111	ORG
app01-3392	330	1	9	CARDINAL
app01-3392	330	2	n. j. nilsson	PERSON
app01-3392	331	1	artif	PERSON
app01-3392	331	2	2(3/4):189–208	CARDINAL
app01-3392	331	3	1971	DATE
app01-3392	332	1	3702(71)90010-5	CARDINAL
app01-3392	333	1	10	CARDINAL
app01-3392	333	2	a. blum	PERSON
app01-3392	333	3	m. l. furst	PERSON
app01-3392	335	1	90(12):281–300, 1997	DATE
app01-3392	336	1	doi:10.1016	PERSON
app01-3392	337	1	11	CARDINAL
app01-3392	337	2	a. biere	PERSON
app01-3392	338	1	lingeling	PERSON
app01-3392	338	2	2015	DATE
app01-3392	339	1	http://fmv.jku.at/lingeling/.	PERSON
app01-3392	340	1	12	CARDINAL
app01-3392	340	2	m. helmert	PERSON
app01-3392	342	1	26:191–246, 2006	DATE
app01-3392	343	1	doi:10.1613	PERSON
app01-3392	344	1	7	CARDINAL
app01-3392	344	2	http://dx.doi.org/10.1016/j.artint.2006.08.002	PERSON
app01-3392	345	1	http://dx.doi.org/10.1016/s0004-3702(96)00047-1 http://fmv.jku.at/lingeling/	GPE
app01-3392	345	2	polytechnica ctu	ORG
app01-3392	345	3	2:1–7	CARDINAL
app01-3392	345	4	2015 1	DATE
app01-3392	345	5	2	CARDINAL
app01-3392	345	6	2.1	CARDINAL
app01-3392	345	7	2.2	CARDINAL
app01-3392	345	8	2.3	CARDINAL
app01-3392	345	9	3	CARDINAL
app01-3392	345	10	4	CARDINAL
app01-3392	345	11	4.1	CARDINAL
app01-3392	345	12	4.2	CARDINAL
app01-3392	345	13	5	CARDINAL
app01-3392	345	14	5.1	CARDINAL
app01-3392	345	15	5.2	CARDINAL
app01-3392	345	16	6	CARDINAL