id	sid	eid	entity	type
fuelectenerg-3307	2	1	xx	PERSON
fuelectenerg-3307	2	2	2018	DATE
fuelectenerg-3307	2	3	xx-xx	PERSON
fuelectenerg-3307	2	4	xor-bi-decomposition	PERSON
fuelectenerg-3307	2	5	∗ bernd steinbach1	PERSON
fuelectenerg-3307	2	6	christian	NORP
fuelectenerg-3307	3	1	institute of computer science	ORG
fuelectenerg-3307	3	2	freiberg	GPE
fuelectenerg-3307	3	3	germany	GPE
fuelectenerg-3307	3	4	university of the west indies	ORG
fuelectenerg-3307	3	5	saint augustine	PERSON
fuelectenerg-3307	3	6	trinidad & tobago	ORG
fuelectenerg-3307	5	1	xor-bi-decompositions	PERSON
fuelectenerg-3307	11	1	1	CARDINAL
fuelectenerg-3307	12	1	september 18, 2017	DATE
fuelectenerg-3307	12	2	bernd steinbach institute of computer science	ORG
fuelectenerg-3307	12	3	freiberg university of mining and technology	ORG
fuelectenerg-3307	12	4	bernhard-von-cottastr	PERSON
fuelectenerg-3307	13	1	2	CARDINAL
fuelectenerg-3307	13	2	d-09596 freiberg	PERSON
fuelectenerg-3307	13	3	germany	GPE
fuelectenerg-3307	14	1	2017	CARDINAL
fuelectenerg-3307	14	2	serbia	GPE
fuelectenerg-3307	14	3	24-25	DATE
fuelectenerg-3307	14	4	2017	DATE
fuelectenerg-3307	15	1	1 2	CARDINAL
fuelectenerg-3307	15	2	b. steinbach	PERSON
fuelectenerg-3307	15	3	two	CARDINAL
fuelectenerg-3307	15	4	xor-gate	PERSON
fuelectenerg-3307	16	1	1	CARDINAL
fuelectenerg-3307	20	1	2	CARDINAL
fuelectenerg-3307	22	1	3	CARDINAL
fuelectenerg-3307	22	2	4	CARDINAL
fuelectenerg-3307	23	1	5	CARDINAL
fuelectenerg-3307	25	1	6	CARDINAL
fuelectenerg-3307	30	1	3	CARDINAL
fuelectenerg-3307	30	2	4	DATE
fuelectenerg-3307	32	1	13	CARDINAL
fuelectenerg-3307	33	1	14	CARDINAL
fuelectenerg-3307	34	1	5	CARDINAL
fuelectenerg-3307	34	2	14	CARDINAL
fuelectenerg-3307	35	1	one	CARDINAL
fuelectenerg-3307	35	2	5	CARDINAL
fuelectenerg-3307	35	3	14	CARDINAL
fuelectenerg-3307	35	4	17/25	CARDINAL
fuelectenerg-3307	36	1	15	CARDINAL
fuelectenerg-3307	38	1	two	CARDINAL
fuelectenerg-3307	41	1	31	DATE
fuelectenerg-3307	41	2	2, june 2018	DATE
fuelectenerg-3307	42	1	223 240	CARDINAL
fuelectenerg-3307	42	2	https://doi.org/10.2298/fuee1802223s bernd steinbach1	PERSON
fuelectenerg-3307	42	3	christian posthoff2	PERSON
fuelectenerg-3307	42	4	october 21	DATE
fuelectenerg-3307	42	5	2017	DATE
fuelectenerg-3307	42	6	january 24, 2018	DATE
fuelectenerg-3307	42	7	bernd steinbach institute of computer science	ORG
fuelectenerg-3307	42	8	freiberg university of mining and technology	ORG
fuelectenerg-3307	42	9	bernhard-von-cotta-str	PERSON
fuelectenerg-3307	43	1	2	CARDINAL
fuelectenerg-3307	43	2	d-09596 freiberg	PERSON
fuelectenerg-3307	43	3	germany	GPE
fuelectenerg-3307	43	4	2017	CARDINAL
fuelectenerg-3307	43	5	serbia	GPE
fuelectenerg-3307	43	6	24-25	DATE
fuelectenerg-3307	43	7	2017	CARDINAL
fuelectenerg-3307	44	1	28	CARDINAL
fuelectenerg-3307	44	2	december 2015	DATE
fuelectenerg-3307	45	1	507 525	CARDINAL
fuelectenerg-3307	45	2	10.2298	CARDINAL
fuelectenerg-3307	45	3	tomislav suligoj1	PERSON
fuelectenerg-3307	45	4	koričić1	PERSON
fuelectenerg-3307	45	5	josip žilak1	PERSON
fuelectenerg-3307	45	6	hidenori mochizuki2	PERSON
fuelectenerg-3307	45	7	katsumi shinomura2	PERSON
fuelectenerg-3307	45	8	imai2 1university	ORG
fuelectenerg-3307	45	9	2asahi	CARDINAL
fuelectenerg-3307	45	10	kasei microdevices co.	ORG
fuelectenerg-3307	45	11	5	CARDINAL
fuelectenerg-3307	45	12	miyazaki	GPE
fuelectenerg-3307	45	13	882-0031	CARDINAL
fuelectenerg-3307	45	14	japan	GPE
fuelectenerg-3307	46	1	51	CARDINAL
fuelectenerg-3307	46	2	61	CARDINAL
fuelectenerg-3307	46	3	173	CARDINAL
fuelectenerg-3307	47	1	hbct	ORG
fuelectenerg-3307	47	2	only 2 or 3	CARDINAL
fuelectenerg-3307	49	1	36	CARDINAL
fuelectenerg-3307	49	2	zero	CARDINAL
fuelectenerg-3307	51	1	17.7 dbm	QUANTITY
fuelectenerg-3307	51	2	9.2	CARDINAL
fuelectenerg-3307	52	1	bicmos	PERSON
fuelectenerg-3307	53	1	1	CARDINAL
fuelectenerg-3307	55	1	march 9, 2015	DATE
fuelectenerg-3307	55	2	tomislav suligoj university of zagreb	ORG
fuelectenerg-3307	55	3	croatia	GPE
fuelectenerg-3307	55	4	1freiberg	CARDINAL
fuelectenerg-3307	55	5	institute of computer science	ORG
fuelectenerg-3307	55	6	freiberg	GPE
fuelectenerg-3307	55	7	germany	GPE
fuelectenerg-3307	55	8	university of the west indies	ORG
fuelectenerg-3307	55	9	saint augustine	PERSON
fuelectenerg-3307	55	10	trinidad	GPE
fuelectenerg-3307	55	11	tobago	GPE
fuelectenerg-3307	58	1	xor-bi-decompositions	PERSON
fuelectenerg-3307	64	1	2	CARDINAL
fuelectenerg-3307	64	2	b. steinbach	PERSON
fuelectenerg-3307	64	3	two	CARDINAL
fuelectenerg-3307	64	4	xor-gate	PERSON
fuelectenerg-3307	65	1	1	CARDINAL
fuelectenerg-3307	69	1	2	CARDINAL
fuelectenerg-3307	71	1	3	CARDINAL
fuelectenerg-3307	71	2	4	CARDINAL
fuelectenerg-3307	72	1	5	CARDINAL
fuelectenerg-3307	74	1	6	CARDINAL
fuelectenerg-3307	79	1	3	CARDINAL
fuelectenerg-3307	79	2	4	DATE
fuelectenerg-3307	81	1	13	CARDINAL
fuelectenerg-3307	82	1	14	CARDINAL
fuelectenerg-3307	83	1	5	CARDINAL
fuelectenerg-3307	83	2	14	CARDINAL
fuelectenerg-3307	84	1	one	CARDINAL
fuelectenerg-3307	84	2	5	CARDINAL
fuelectenerg-3307	84	3	14	CARDINAL
fuelectenerg-3307	84	4	17/25	CARDINAL
fuelectenerg-3307	85	1	15	CARDINAL
fuelectenerg-3307	87	1	two	CARDINAL
fuelectenerg-3307	89	1	xor-bi-decomposition for lattices of	ORG
fuelectenerg-3307	89	2	3	CARDINAL
fuelectenerg-3307	91	1	4	CARDINAL
fuelectenerg-3307	91	2	16	DATE
fuelectenerg-3307	91	3	17	CARDINAL
fuelectenerg-3307	92	1	three	CARDINAL
fuelectenerg-3307	93	1	xa	ORG
fuelectenerg-3307	94	1	xa	ORG
fuelectenerg-3307	95	1	3	CARDINAL
fuelectenerg-3307	95	2	4	DATE
fuelectenerg-3307	95	3	10–12	CARDINAL
fuelectenerg-3307	96	1	xorbi	PRODUCT
fuelectenerg-3307	96	2	18	CARDINAL
fuelectenerg-3307	99	1	more than 20 years	DATE
fuelectenerg-3307	101	1	section 2	LAW
fuelectenerg-3307	102	1	section 3	LAW
fuelectenerg-3307	102	2	xor-bi-decompositions	PERSON
fuelectenerg-3307	103	1	section 4	LAW
fuelectenerg-3307	103	2	xor-bi-bi-decompositions	ORG
fuelectenerg-3307	103	3	xor-bi-bi-decompositions	ORG
fuelectenerg-3307	103	4	two	CARDINAL
fuelectenerg-3307	104	1	19	CARDINAL
fuelectenerg-3307	104	2	20	CARDINAL
fuelectenerg-3307	105	1	section 5	LAW
fuelectenerg-3307	106	1	section 6	LAW
fuelectenerg-3307	107	1	2	CARDINAL
fuelectenerg-3307	110	1	2n	CARDINAL
fuelectenerg-3307	110	2	224	CARDINAL
fuelectenerg-3307	110	3	b. steinbach	PERSON
fuelectenerg-3307	110	4	c. posthoff	PERSON
fuelectenerg-3307	110	5	225	CARDINAL
fuelectenerg-3307	110	6	2	CARDINAL
fuelectenerg-3307	110	7	b. steinbach	PERSON
fuelectenerg-3307	110	8	two	CARDINAL
fuelectenerg-3307	110	9	xor-gate	PERSON
fuelectenerg-3307	111	1	1	CARDINAL
fuelectenerg-3307	115	1	2	CARDINAL
fuelectenerg-3307	117	1	3	CARDINAL
fuelectenerg-3307	117	2	4	CARDINAL
fuelectenerg-3307	118	1	5	CARDINAL
fuelectenerg-3307	120	1	6	CARDINAL
fuelectenerg-3307	125	1	3	CARDINAL
fuelectenerg-3307	125	2	4	DATE
fuelectenerg-3307	127	1	13	CARDINAL
fuelectenerg-3307	128	1	14	CARDINAL
fuelectenerg-3307	129	1	5	CARDINAL
fuelectenerg-3307	129	2	14	CARDINAL
fuelectenerg-3307	130	1	one	CARDINAL
fuelectenerg-3307	130	2	5	CARDINAL
fuelectenerg-3307	130	3	14	CARDINAL
fuelectenerg-3307	130	4	17/25	CARDINAL
fuelectenerg-3307	131	1	15	CARDINAL
fuelectenerg-3307	133	1	two	CARDINAL
fuelectenerg-3307	135	1	xor-bi-decomposition for lattices of	ORG
fuelectenerg-3307	135	2	3	CARDINAL
fuelectenerg-3307	137	1	4	CARDINAL
fuelectenerg-3307	137	2	16	DATE
fuelectenerg-3307	137	3	17	CARDINAL
fuelectenerg-3307	138	1	three	CARDINAL
fuelectenerg-3307	139	1	xa	ORG
fuelectenerg-3307	140	1	xa	ORG
fuelectenerg-3307	141	1	3	CARDINAL
fuelectenerg-3307	141	2	4	DATE
fuelectenerg-3307	141	3	10–12	CARDINAL
fuelectenerg-3307	142	1	xorbi	PRODUCT
fuelectenerg-3307	142	2	18	CARDINAL
fuelectenerg-3307	145	1	more than 20 years	DATE
fuelectenerg-3307	147	1	section 2	LAW
fuelectenerg-3307	148	1	section 3	LAW
fuelectenerg-3307	148	2	xor-bi-decompositions	PERSON
fuelectenerg-3307	149	1	section 4	LAW
fuelectenerg-3307	149	2	xor-bi-bi-decompositions	ORG
fuelectenerg-3307	149	3	xor-bi-bi-decompositions	ORG
fuelectenerg-3307	149	4	two	CARDINAL
fuelectenerg-3307	150	1	19	CARDINAL
fuelectenerg-3307	150	2	20	CARDINAL
fuelectenerg-3307	151	1	section 5	LAW
fuelectenerg-3307	152	1	section 6	LAW
fuelectenerg-3307	153	1	2	CARDINAL
fuelectenerg-3307	156	1	2n	CARDINAL
fuelectenerg-3307	156	2	3	CARDINAL
fuelectenerg-3307	158	1	4	CARDINAL
fuelectenerg-3307	158	2	16	DATE
fuelectenerg-3307	158	3	17	CARDINAL
fuelectenerg-3307	159	1	three	CARDINAL
fuelectenerg-3307	160	1	xa	ORG
fuelectenerg-3307	161	1	xa	ORG
fuelectenerg-3307	162	1	3	CARDINAL
fuelectenerg-3307	162	2	4	DATE
fuelectenerg-3307	162	3	10–12	CARDINAL
fuelectenerg-3307	163	1	xorbi	PRODUCT
fuelectenerg-3307	163	2	18	CARDINAL
fuelectenerg-3307	166	1	more than 20 years	DATE
fuelectenerg-3307	168	1	section 2	LAW
fuelectenerg-3307	169	1	section 3	LAW
fuelectenerg-3307	169	2	xor-bi-decompositions	PERSON
fuelectenerg-3307	170	1	section 4	LAW
fuelectenerg-3307	170	2	xor-bi-bi-decompositions	ORG
fuelectenerg-3307	170	3	xor-bi-bi-decompositions	ORG
fuelectenerg-3307	170	4	two	CARDINAL
fuelectenerg-3307	171	1	19	CARDINAL
fuelectenerg-3307	171	2	20	CARDINAL
fuelectenerg-3307	172	1	section 5	LAW
fuelectenerg-3307	173	1	section 6	LAW
fuelectenerg-3307	174	1	2	CARDINAL
fuelectenerg-3307	177	1	2n	CARDINAL
fuelectenerg-3307	177	2	224	CARDINAL
fuelectenerg-3307	177	3	b. steinbach	PERSON
fuelectenerg-3307	177	4	c. posthoff	PERSON
fuelectenerg-3307	177	5	225	CARDINAL
fuelectenerg-3307	177	6	4	CARDINAL
fuelectenerg-3307	177	7	b. steinbach	PERSON
fuelectenerg-3307	177	8	three	CARDINAL
fuelectenerg-3307	177	9	don’t	CARDINAL
fuelectenerg-3307	177	10	⇔	CARDINAL
fuelectenerg-3307	178	1	1 ⇔	CARDINAL
fuelectenerg-3307	179	1	∈	ORG
fuelectenerg-3307	179	2	⇔ fq(x1	GPE
fuelectenerg-3307	180	1	1 ⇔	CARDINAL
fuelectenerg-3307	182	1	0)∧	CARDINAL
fuelectenerg-3307	183	1	1	CARDINAL
fuelectenerg-3307	184	1	∈	ORG
fuelectenerg-3307	184	2	⇔	ORG
fuelectenerg-3307	185	1	1 ⇔	CARDINAL
fuelectenerg-3307	187	1	0)∧	CARDINAL
fuelectenerg-3307	190	1	l 〈 fq(x	PRODUCT
fuelectenerg-3307	190	2	x)≤ fr(x	PERSON
fuelectenerg-3307	191	1	max	PERSON
fuelectenerg-3307	191	2	1	CARDINAL
fuelectenerg-3307	191	3	x1)∨min xi	PERSON
fuelectenerg-3307	192	1	2	CARDINAL
fuelectenerg-3307	192	2	3	CARDINAL
fuelectenerg-3307	192	3	l 〈 fq(xa	PERSON
fuelectenerg-3307	192	4	xa	ORG
fuelectenerg-3307	192	5	xa	ORG
fuelectenerg-3307	194	1	max xb m	PERSON
fuelectenerg-3307	194	2	0	CARDINAL
fuelectenerg-3307	195	1	3	CARDINAL
fuelectenerg-3307	196	1	4	CARDINAL
fuelectenerg-3307	197	1	max xa	PERSON
fuelectenerg-3307	197	2	5	CARDINAL
fuelectenerg-3307	197	3	max xa	PERSON
fuelectenerg-3307	198	1	6	CARDINAL
fuelectenerg-3307	198	2	3	CARDINAL
fuelectenerg-3307	198	3	4	DATE
fuelectenerg-3307	198	4	10	DATE
fuelectenerg-3307	198	5	11	CARDINAL
fuelectenerg-3307	199	1	226	CARDINAL
fuelectenerg-3307	199	2	b. steinbach	PERSON
fuelectenerg-3307	199	3	c. posthoff	PERSON
fuelectenerg-3307	199	4	227	CARDINAL
fuelectenerg-3307	199	5	b. steinbach	PERSON
fuelectenerg-3307	199	6	three	CARDINAL
fuelectenerg-3307	199	7	don’t	CARDINAL
fuelectenerg-3307	199	8	⇔	CARDINAL
fuelectenerg-3307	199	9	1 ⇔	CARDINAL
fuelectenerg-3307	199	10	∈	ORG
fuelectenerg-3307	199	11	⇔ fq(x1	GPE
fuelectenerg-3307	200	1	1 ⇔	CARDINAL
fuelectenerg-3307	202	1	0)∧	CARDINAL
fuelectenerg-3307	203	1	1	CARDINAL
fuelectenerg-3307	204	1	∈	ORG
fuelectenerg-3307	204	2	⇔	ORG
fuelectenerg-3307	205	1	1 ⇔	CARDINAL
fuelectenerg-3307	207	1	0)∧	CARDINAL
fuelectenerg-3307	210	1	l 〈 fq(x	PRODUCT
fuelectenerg-3307	210	2	x)≤ fr(x	PERSON
fuelectenerg-3307	211	1	max	PERSON
fuelectenerg-3307	211	2	1	CARDINAL
fuelectenerg-3307	211	3	x1)∨min xi	PERSON
fuelectenerg-3307	212	1	2	CARDINAL
fuelectenerg-3307	212	2	3	CARDINAL
fuelectenerg-3307	212	3	l 〈 fq(xa	PERSON
fuelectenerg-3307	212	4	xa	ORG
fuelectenerg-3307	212	5	xa	ORG
fuelectenerg-3307	214	1	max xb m	PERSON
fuelectenerg-3307	214	2	0	CARDINAL
fuelectenerg-3307	215	1	3	CARDINAL
fuelectenerg-3307	216	1	4	CARDINAL
fuelectenerg-3307	217	1	max xa	PERSON
fuelectenerg-3307	217	2	5	CARDINAL
fuelectenerg-3307	217	3	max xa	PERSON
fuelectenerg-3307	218	1	6	CARDINAL
fuelectenerg-3307	218	2	3	CARDINAL
fuelectenerg-3307	218	3	4	DATE
fuelectenerg-3307	218	4	10	DATE
fuelectenerg-3307	218	5	11	CARDINAL
fuelectenerg-3307	219	1	xor-bi-decomposition	PERSON
fuelectenerg-3307	219	2	5 4	DATE
fuelectenerg-3307	219	3	xor-bi	ORG
fuelectenerg-3307	220	1	xa	ORG
fuelectenerg-3307	222	1	3	CARDINAL
fuelectenerg-3307	222	2	xa	ORG
fuelectenerg-3307	223	1	4	CARDINAL
fuelectenerg-3307	223	2	5	CARDINAL
fuelectenerg-3307	223	3	6	CARDINAL
fuelectenerg-3307	224	1	three	CARDINAL
fuelectenerg-3307	225	1	3	CARDINAL
fuelectenerg-3307	226	1	at least one	CARDINAL
fuelectenerg-3307	226	2	xa	ORG
fuelectenerg-3307	227	1	xa	ORG
fuelectenerg-3307	229	1	3	CARDINAL
fuelectenerg-3307	231	1	7	CARDINAL
fuelectenerg-3307	231	2	8)	CARDINAL
fuelectenerg-3307	232	1	9	CARDINAL
fuelectenerg-3307	232	2	10	CARDINAL
fuelectenerg-3307	232	3	11	CARDINAL
fuelectenerg-3307	232	4	12	CARDINAL
fuelectenerg-3307	232	5	•	CARDINAL
fuelectenerg-3307	232	6	7	CARDINAL
fuelectenerg-3307	232	7	•	CARDINAL
fuelectenerg-3307	232	8	9	CARDINAL
fuelectenerg-3307	233	1	•	CARDINAL
fuelectenerg-3307	233	2	9	CARDINAL
fuelectenerg-3307	233	3	10	CARDINAL
fuelectenerg-3307	233	4	226	CARDINAL
fuelectenerg-3307	233	5	b. steinbach	PERSON
fuelectenerg-3307	233	6	c. posthoff	PERSON
fuelectenerg-3307	233	7	227	CARDINAL
fuelectenerg-3307	233	8	6 b. steinbach	QUANTITY
fuelectenerg-3307	233	9	•	CARDINAL
fuelectenerg-3307	233	10	10	CARDINAL
fuelectenerg-3307	233	11	11	CARDINAL
fuelectenerg-3307	234	1	•	CARDINAL
fuelectenerg-3307	234	2	11	CARDINAL
fuelectenerg-3307	234	3	12	CARDINAL
fuelectenerg-3307	234	4	xa0	GPE
fuelectenerg-3307	234	5	xa	ORG
fuelectenerg-3307	235	1	7	CARDINAL
fuelectenerg-3307	235	2	12	CARDINAL
fuelectenerg-3307	235	3	1	CARDINAL
fuelectenerg-3307	236	1	1	CARDINAL
fuelectenerg-3307	237	1	13	CARDINAL
fuelectenerg-3307	237	2	14	CARDINAL
fuelectenerg-3307	238	1	14	CARDINAL
fuelectenerg-3307	238	2	∂h(x1,xi	PERSON
fuelectenerg-3307	238	3	1	CARDINAL
fuelectenerg-3307	239	1	15	CARDINAL
fuelectenerg-3307	239	2	15	CARDINAL
fuelectenerg-3307	239	3	13	CARDINAL
fuelectenerg-3307	240	1	1	CARDINAL
fuelectenerg-3307	240	2	14	CARDINAL
fuelectenerg-3307	240	3	13	CARDINAL
fuelectenerg-3307	241	1	13	CARDINAL
fuelectenerg-3307	244	1	16	CARDINAL
fuelectenerg-3307	244	2	13	CARDINAL
fuelectenerg-3307	244	3	16	CARDINAL
fuelectenerg-3307	244	4	two	CARDINAL
fuelectenerg-3307	246	1	17	CARDINAL
fuelectenerg-3307	246	2	228	CARDINAL
fuelectenerg-3307	246	3	b. steinbach	PERSON
fuelectenerg-3307	246	4	c. posthoff	PERSON
fuelectenerg-3307	246	5	229	CARDINAL
fuelectenerg-3307	246	6	6 b. steinbach	QUANTITY
fuelectenerg-3307	246	7	•	CARDINAL
fuelectenerg-3307	246	8	10	CARDINAL
fuelectenerg-3307	246	9	11	CARDINAL
fuelectenerg-3307	247	1	•	CARDINAL
fuelectenerg-3307	247	2	11	CARDINAL
fuelectenerg-3307	247	3	12	CARDINAL
fuelectenerg-3307	247	4	xa0	GPE
fuelectenerg-3307	247	5	xa	ORG
fuelectenerg-3307	248	1	7	CARDINAL
fuelectenerg-3307	248	2	12	CARDINAL
fuelectenerg-3307	248	3	1	CARDINAL
fuelectenerg-3307	249	1	1	CARDINAL
fuelectenerg-3307	250	1	13	CARDINAL
fuelectenerg-3307	250	2	14	CARDINAL
fuelectenerg-3307	251	1	14	CARDINAL
fuelectenerg-3307	251	2	∂h(x1,xi	PERSON
fuelectenerg-3307	251	3	1	CARDINAL
fuelectenerg-3307	252	1	15	CARDINAL
fuelectenerg-3307	252	2	15	CARDINAL
fuelectenerg-3307	252	3	13	CARDINAL
fuelectenerg-3307	253	1	1	CARDINAL
fuelectenerg-3307	253	2	14	CARDINAL
fuelectenerg-3307	253	3	13	CARDINAL
fuelectenerg-3307	254	1	13	CARDINAL
fuelectenerg-3307	257	1	16	CARDINAL
fuelectenerg-3307	257	2	13	CARDINAL
fuelectenerg-3307	257	3	16	CARDINAL
fuelectenerg-3307	257	4	two	CARDINAL
fuelectenerg-3307	259	1	17	CARDINAL
fuelectenerg-3307	259	2	7	CARDINAL
fuelectenerg-3307	262	1	18	CARDINAL
fuelectenerg-3307	262	2	17	CARDINAL
fuelectenerg-3307	262	3	18	CARDINAL
fuelectenerg-3307	263	1	14	CARDINAL
fuelectenerg-3307	265	1	19	CARDINAL
fuelectenerg-3307	265	2	17	CARDINAL
fuelectenerg-3307	265	3	18	CARDINAL
fuelectenerg-3307	265	4	19	CARDINAL
fuelectenerg-3307	271	1	h′(x1)∨min	NORP
fuelectenerg-3307	276	1	0	CARDINAL
fuelectenerg-3307	277	1	14	CARDINAL
fuelectenerg-3307	277	2	two	CARDINAL
fuelectenerg-3307	277	3	13	CARDINAL
fuelectenerg-3307	278	1	13	CARDINAL
fuelectenerg-3307	278	2	14	CARDINAL
fuelectenerg-3307	278	3	1	CARDINAL
fuelectenerg-3307	278	4	1	CARDINAL
fuelectenerg-3307	278	5	3	CARDINAL
fuelectenerg-3307	278	6	228	CARDINAL
fuelectenerg-3307	278	7	b. steinbach	PERSON
fuelectenerg-3307	278	8	c. posthoff	PERSON
fuelectenerg-3307	278	9	229	CARDINAL
fuelectenerg-3307	278	10	b. steinbach	PERSON
fuelectenerg-3307	278	11	14	CARDINAL
fuelectenerg-3307	279	1	20	CARDINAL
fuelectenerg-3307	279	2	l 〈 h′q(xb	LAW
fuelectenerg-3307	280	1	max	PERSON
fuelectenerg-3307	280	2	21	CARDINAL
fuelectenerg-3307	281	1	max	PERSON
fuelectenerg-3307	282	1	22	CARDINAL
fuelectenerg-3307	283	1	1	CARDINAL
fuelectenerg-3307	283	2	one	CARDINAL
fuelectenerg-3307	284	1	1	CARDINAL
fuelectenerg-3307	285	1	1	CARDINAL
fuelectenerg-3307	285	2	l 〈 fq(x	PRODUCT
fuelectenerg-3307	286	1	at least one	CARDINAL
fuelectenerg-3307	286	2	xa	ORG
fuelectenerg-3307	286	3	1	CARDINAL
fuelectenerg-3307	286	4	2	CARDINAL
fuelectenerg-3307	286	5	3	CARDINAL
fuelectenerg-3307	286	6	4	CARDINAL
fuelectenerg-3307	286	7	xa	ORG
fuelectenerg-3307	286	8	xa	PERSON
fuelectenerg-3307	286	9	5	CARDINAL
fuelectenerg-3307	286	10	fq	ORG
fuelectenerg-3307	286	11	xa),maxk	PERSON
fuelectenerg-3307	286	12	xa	PERSON
fuelectenerg-3307	287	1	7	CARDINAL
fuelectenerg-3307	287	2	fq,xa),mink	ORG
fuelectenerg-3307	287	3	xa	PERSON
fuelectenerg-3307	287	4	8	CARDINAL
fuelectenerg-3307	287	5	9	CARDINAL
fuelectenerg-3307	287	6	te isc(maxk	PERSON
fuelectenerg-3307	287	7	10	CARDINAL
fuelectenerg-3307	287	8	11	CARDINAL
fuelectenerg-3307	287	9	12	CARDINAL
fuelectenerg-3307	287	10	13	CARDINAL
fuelectenerg-3307	287	11	14	CARDINAL
fuelectenerg-3307	287	12	xa	ORG
fuelectenerg-3307	287	13	230	CARDINAL
fuelectenerg-3307	287	14	b. steinbach	PERSON
fuelectenerg-3307	287	15	c. posthoff	PERSON
fuelectenerg-3307	287	16	231	CARDINAL
fuelectenerg-3307	287	17	b. steinbach	PERSON
fuelectenerg-3307	288	1	14	CARDINAL
fuelectenerg-3307	289	1	20	CARDINAL
fuelectenerg-3307	289	2	l 〈 h′q(xb	LAW
fuelectenerg-3307	290	1	max	PERSON
fuelectenerg-3307	290	2	21	CARDINAL
fuelectenerg-3307	291	1	max	PERSON
fuelectenerg-3307	292	1	22	CARDINAL
fuelectenerg-3307	293	1	1	CARDINAL
fuelectenerg-3307	293	2	one	CARDINAL
fuelectenerg-3307	294	1	1	CARDINAL
fuelectenerg-3307	295	1	1	CARDINAL
fuelectenerg-3307	295	2	l 〈 fq(x	PRODUCT
fuelectenerg-3307	296	1	at least one	CARDINAL
fuelectenerg-3307	296	2	xa	ORG
fuelectenerg-3307	296	3	1	CARDINAL
fuelectenerg-3307	296	4	2	CARDINAL
fuelectenerg-3307	296	5	3	CARDINAL
fuelectenerg-3307	296	6	4	CARDINAL
fuelectenerg-3307	296	7	xa	ORG
fuelectenerg-3307	296	8	xa	PERSON
fuelectenerg-3307	296	9	5	CARDINAL
fuelectenerg-3307	296	10	fq	ORG
fuelectenerg-3307	296	11	xa),maxk	PERSON
fuelectenerg-3307	296	12	xa	PERSON
fuelectenerg-3307	297	1	7	CARDINAL
fuelectenerg-3307	297	2	fq,xa),mink	ORG
fuelectenerg-3307	297	3	xa	PERSON
fuelectenerg-3307	297	4	8	CARDINAL
fuelectenerg-3307	297	5	9	CARDINAL
fuelectenerg-3307	297	6	te isc(maxk	PERSON
fuelectenerg-3307	297	7	10	CARDINAL
fuelectenerg-3307	297	8	11	CARDINAL
fuelectenerg-3307	297	9	12	CARDINAL
fuelectenerg-3307	297	10	13	CARDINAL
fuelectenerg-3307	297	11	14	CARDINAL
fuelectenerg-3307	297	12	xa	ORG
fuelectenerg-3307	297	13	xor-bi-decomposition	PERSON
fuelectenerg-3307	297	14	9	CARDINAL
fuelectenerg-3307	297	15	1	CARDINAL
fuelectenerg-3307	297	16	two	CARDINAL
fuelectenerg-3307	298	1	1	CARDINAL
fuelectenerg-3307	299	1	xb	PRODUCT
fuelectenerg-3307	299	2	two	CARDINAL
fuelectenerg-3307	299	3	sv next (	ORG
fuelectenerg-3307	302	1	maxk	PERSON
fuelectenerg-3307	302	2	6	CARDINAL
fuelectenerg-3307	302	3	7	CARDINAL
fuelectenerg-3307	303	1	9	CARDINAL
fuelectenerg-3307	303	2	3	CARDINAL
fuelectenerg-3307	304	1	10	CARDINAL
fuelectenerg-3307	305	1	2	CARDINAL
fuelectenerg-3307	306	1	1	CARDINAL
fuelectenerg-3307	307	1	2	CARDINAL
fuelectenerg-3307	307	2	3	CARDINAL
fuelectenerg-3307	307	3	4	CARDINAL
fuelectenerg-3307	307	4	8	CARDINAL
fuelectenerg-3307	308	1	xa	ORG
fuelectenerg-3307	308	2	3	CARDINAL
fuelectenerg-3307	308	3	5	CARDINAL
fuelectenerg-3307	308	4	6	CARDINAL
fuelectenerg-3307	308	5	1	CARDINAL
fuelectenerg-3307	308	6	2	CARDINAL
fuelectenerg-3307	309	1	7	CARDINAL
fuelectenerg-3307	310	1	8	CARDINAL
fuelectenerg-3307	311	1	3	CARDINAL
fuelectenerg-3307	311	2	9	CARDINAL
fuelectenerg-3307	312	1	10	CARDINAL
fuelectenerg-3307	312	2	11	CARDINAL
fuelectenerg-3307	313	1	•	CARDINAL
fuelectenerg-3307	313	2	4	CARDINAL
fuelectenerg-3307	313	3	14	CARDINAL
fuelectenerg-3307	313	4	•	CARDINAL
fuelectenerg-3307	313	5	5	CARDINAL
fuelectenerg-3307	313	6	15	CARDINAL
fuelectenerg-3307	313	7	•	CARDINAL
fuelectenerg-3307	313	8	6	CARDINAL
fuelectenerg-3307	313	9	16	CARDINAL
fuelectenerg-3307	314	1	second	ORDINAL
fuelectenerg-3307	314	2	20 to 28	CARDINAL
fuelectenerg-3307	316	1	17	CARDINAL
fuelectenerg-3307	316	2	230	CARDINAL
fuelectenerg-3307	316	3	b. steinbach	PERSON
fuelectenerg-3307	316	4	c. posthoff	PERSON
fuelectenerg-3307	316	5	231	CARDINAL
fuelectenerg-3307	316	6	10	CARDINAL
fuelectenerg-3307	316	7	b. steinbach	PERSON
fuelectenerg-3307	316	8	2	CARDINAL
fuelectenerg-3307	316	9	l 〈 fq(x	PRODUCT
fuelectenerg-3307	316	10	fq(x	ORG
fuelectenerg-3307	316	11	xa	ORG
fuelectenerg-3307	317	1	tvl of g(xa	ORG
fuelectenerg-3307	317	2	xa	ORG
fuelectenerg-3307	318	1	1	CARDINAL
fuelectenerg-3307	318	2	2	CARDINAL
fuelectenerg-3307	318	3	← sv	PERSON
fuelectenerg-3307	319	1	3	CARDINAL
fuelectenerg-3307	319	2	fq	ORG
fuelectenerg-3307	319	3	xa),maxk	PERSON
fuelectenerg-3307	319	4	xa	PERSON
fuelectenerg-3307	319	5	6	CARDINAL
fuelectenerg-3307	319	6	fq,xa),mink	ORG
fuelectenerg-3307	319	7	xa	PERSON
fuelectenerg-3307	320	1	7	CARDINAL
fuelectenerg-3307	320	2	8	CARDINAL
fuelectenerg-3307	320	3	sv next(xc	PERSON
fuelectenerg-3307	320	4	9	CARDINAL
fuelectenerg-3307	320	5	10	CARDINAL
fuelectenerg-3307	320	6	11	CARDINAL
fuelectenerg-3307	320	7	12	CARDINAL
fuelectenerg-3307	320	8	13	CARDINAL
fuelectenerg-3307	320	9	14	CARDINAL
fuelectenerg-3307	320	10	15	CARDINAL
fuelectenerg-3307	320	11	fr)),xa	ORG
fuelectenerg-3307	320	12	16	CARDINAL
fuelectenerg-3307	320	13	17	CARDINAL
fuelectenerg-3307	320	14	← sv	PERSON
fuelectenerg-3307	321	1	18	CARDINAL
fuelectenerg-3307	321	2	20	CARDINAL
fuelectenerg-3307	321	3	sv next(xc	PERSON
fuelectenerg-3307	321	4	21	CARDINAL
fuelectenerg-3307	321	5	xi),mink(hr	ORG
fuelectenerg-3307	322	1	22	CARDINAL
fuelectenerg-3307	322	2	23	CARDINAL
fuelectenerg-3307	322	3	24	CARDINAL
fuelectenerg-3307	322	4	25	CARDINAL
fuelectenerg-3307	322	5	← maxk(uni(isc(xi	PERSON
fuelectenerg-3307	322	6	26	CARDINAL
fuelectenerg-3307	322	7	← maxk(uni(isc(xi	PERSON
fuelectenerg-3307	322	8	27	CARDINAL
fuelectenerg-3307	322	9	28	CARDINAL
fuelectenerg-3307	322	10	29	CARDINAL
fuelectenerg-3307	322	11	30	CARDINAL
fuelectenerg-3307	322	12	xa	PERSON
fuelectenerg-3307	323	1	18	CARDINAL
fuelectenerg-3307	323	2	19	CARDINAL
fuelectenerg-3307	323	3	xa	ORG
fuelectenerg-3307	324	1	232	CARDINAL
fuelectenerg-3307	324	2	b. steinbach	PERSON
fuelectenerg-3307	324	3	c. posthoff	PERSON
fuelectenerg-3307	324	4	233	CARDINAL
fuelectenerg-3307	324	5	10	CARDINAL
fuelectenerg-3307	324	6	b. steinbach	PERSON
fuelectenerg-3307	324	7	2	CARDINAL
fuelectenerg-3307	324	8	l 〈 fq(x	PRODUCT
fuelectenerg-3307	324	9	fq(x	ORG
fuelectenerg-3307	324	10	xa	ORG
fuelectenerg-3307	325	1	tvl of g(xa	ORG
fuelectenerg-3307	325	2	xa	ORG
fuelectenerg-3307	326	1	1	CARDINAL
fuelectenerg-3307	326	2	2	CARDINAL
fuelectenerg-3307	326	3	← sv	PERSON
fuelectenerg-3307	327	1	3	CARDINAL
fuelectenerg-3307	327	2	fq	ORG
fuelectenerg-3307	327	3	xa),maxk	PERSON
fuelectenerg-3307	327	4	xa	PERSON
fuelectenerg-3307	327	5	6	CARDINAL
fuelectenerg-3307	327	6	fq,xa),mink	ORG
fuelectenerg-3307	327	7	xa	PERSON
fuelectenerg-3307	328	1	7	CARDINAL
fuelectenerg-3307	328	2	8	CARDINAL
fuelectenerg-3307	328	3	sv next(xc	PERSON
fuelectenerg-3307	328	4	9	CARDINAL
fuelectenerg-3307	328	5	10	CARDINAL
fuelectenerg-3307	328	6	11	CARDINAL
fuelectenerg-3307	328	7	12	CARDINAL
fuelectenerg-3307	328	8	13	CARDINAL
fuelectenerg-3307	328	9	14	CARDINAL
fuelectenerg-3307	328	10	15	CARDINAL
fuelectenerg-3307	328	11	fr)),xa	ORG
fuelectenerg-3307	328	12	16	CARDINAL
fuelectenerg-3307	328	13	17	CARDINAL
fuelectenerg-3307	328	14	← sv	PERSON
fuelectenerg-3307	329	1	18	CARDINAL
fuelectenerg-3307	329	2	20	CARDINAL
fuelectenerg-3307	329	3	sv next(xc	PERSON
fuelectenerg-3307	329	4	21	CARDINAL
fuelectenerg-3307	329	5	xi),mink(hr	ORG
fuelectenerg-3307	330	1	22	CARDINAL
fuelectenerg-3307	330	2	23	CARDINAL
fuelectenerg-3307	330	3	24	CARDINAL
fuelectenerg-3307	330	4	25	CARDINAL
fuelectenerg-3307	330	5	← maxk(uni(isc(xi	PERSON
fuelectenerg-3307	330	6	26	CARDINAL
fuelectenerg-3307	330	7	← maxk(uni(isc(xi	PERSON
fuelectenerg-3307	330	8	27	CARDINAL
fuelectenerg-3307	330	9	28	CARDINAL
fuelectenerg-3307	330	10	29	CARDINAL
fuelectenerg-3307	330	11	30	CARDINAL
fuelectenerg-3307	330	12	xa	PERSON
fuelectenerg-3307	331	1	18	CARDINAL
fuelectenerg-3307	331	2	19	CARDINAL
fuelectenerg-3307	331	3	xa	ORG
fuelectenerg-3307	332	1	xor-bi-decomposition	PERSON
fuelectenerg-3307	332	2	11	CARDINAL
fuelectenerg-3307	332	3	14	CARDINAL
fuelectenerg-3307	332	4	1	CARDINAL
fuelectenerg-3307	332	5	21	CARDINAL
fuelectenerg-3307	332	6	2	CARDINAL
fuelectenerg-3307	334	1	•	CARDINAL
fuelectenerg-3307	334	2	22	CARDINAL
fuelectenerg-3307	334	3	•	CARDINAL
fuelectenerg-3307	334	4	23	CARDINAL
fuelectenerg-3307	334	5	tvl	ORG
fuelectenerg-3307	334	6	1	CARDINAL
fuelectenerg-3307	334	7	sv	ORG
fuelectenerg-3307	334	8	•	CARDINAL
fuelectenerg-3307	334	9	24	CARDINAL
fuelectenerg-3307	334	10	20	CARDINAL
fuelectenerg-3307	334	11	•	CARDINAL
fuelectenerg-3307	334	12	25	CARDINAL
fuelectenerg-3307	334	13	21	CARDINAL
fuelectenerg-3307	334	14	•	CARDINAL
fuelectenerg-3307	334	15	hr(x	PRODUCT
fuelectenerg-3307	334	16	26	CARDINAL
fuelectenerg-3307	334	17	22	CARDINAL
fuelectenerg-3307	335	1	29	CARDINAL
fuelectenerg-3307	337	1	20	CARDINAL
fuelectenerg-3307	338	1	15	CARDINAL
fuelectenerg-3307	338	2	16	DATE
fuelectenerg-3307	338	3	24	DATE
fuelectenerg-3307	338	4	25	CARDINAL
fuelectenerg-3307	338	5	5	CARDINAL
fuelectenerg-3307	338	6	5.1	CARDINAL
fuelectenerg-3307	339	1	1	CARDINAL
fuelectenerg-3307	339	2	1	CARDINAL
fuelectenerg-3307	339	3	1	CARDINAL
fuelectenerg-3307	339	4	1	CARDINAL
fuelectenerg-3307	339	5	0	CARDINAL
fuelectenerg-3307	339	6	1	CARDINAL
fuelectenerg-3307	339	7	0	CARDINAL
fuelectenerg-3307	339	8	1	CARDINAL
fuelectenerg-3307	339	9	0	CARDINAL
fuelectenerg-3307	340	1	0	CARDINAL
fuelectenerg-3307	340	2	φ φ	PERSON
fuelectenerg-3307	340	3	x5 l 〈 fq(x	ORG
fuelectenerg-3307	340	4	1	CARDINAL
fuelectenerg-3307	340	5	1	CARDINAL
fuelectenerg-3307	340	6	1	CARDINAL
fuelectenerg-3307	340	7	1	CARDINAL
fuelectenerg-3307	340	8	0	CARDINAL
fuelectenerg-3307	340	9	0	CARDINAL
fuelectenerg-3307	340	10	1	CARDINAL
fuelectenerg-3307	340	11	0	CARDINAL
fuelectenerg-3307	340	12	0	CARDINAL
fuelectenerg-3307	341	1	0	CARDINAL
fuelectenerg-3307	342	1	karnaugh	PERSON
fuelectenerg-3307	343	1	1	CARDINAL
fuelectenerg-3307	343	2	karnaugh	PERSON
fuelectenerg-3307	343	3	eight	CARDINAL
fuelectenerg-3307	344	1	one	CARDINAL
fuelectenerg-3307	344	2	two	CARDINAL
fuelectenerg-3307	344	3	232	CARDINAL
fuelectenerg-3307	344	4	b. steinbach	PERSON
fuelectenerg-3307	344	5	c. posthoff	PERSON
fuelectenerg-3307	344	6	233	CARDINAL
fuelectenerg-3307	344	7	12	CARDINAL
fuelectenerg-3307	344	8	b. steinbach	PERSON
fuelectenerg-3307	346	1	mccluskey	PERSON
fuelectenerg-3307	348	1	3	CARDINAL
fuelectenerg-3307	348	2	4	DATE
fuelectenerg-3307	348	3	11	CARDINAL
fuelectenerg-3307	349	1	1	CARDINAL
fuelectenerg-3307	350	1	two	CARDINAL
fuelectenerg-3307	350	2	0	CARDINAL
fuelectenerg-3307	350	3	1	CARDINAL
fuelectenerg-3307	351	1	don’t	CARDINAL
fuelectenerg-3307	351	2	0	CARDINAL
fuelectenerg-3307	351	3	5.2	CARDINAL
fuelectenerg-3307	351	4	mccluskey	PERSON
fuelectenerg-3307	351	5	two	CARDINAL
fuelectenerg-3307	354	1	∨	CARDINAL
fuelectenerg-3307	354	2	x1x3)(x4x5)∨	PERSON
fuelectenerg-3307	355	1	23	CARDINAL
fuelectenerg-3307	355	2	23	CARDINAL
fuelectenerg-3307	355	3	two	CARDINAL
fuelectenerg-3307	356	1	2	CARDINAL
fuelectenerg-3307	357	1	eight	CARDINAL
fuelectenerg-3307	357	2	seven	CARDINAL
fuelectenerg-3307	358	1	seven	CARDINAL
fuelectenerg-3307	359	1	18	CARDINAL
fuelectenerg-3307	360	1	25	CARDINAL
fuelectenerg-3307	360	2	two	CARDINAL
fuelectenerg-3307	360	3	six	CARDINAL
fuelectenerg-3307	361	1	5.3	CARDINAL
fuelectenerg-3307	361	2	3	CARDINAL
fuelectenerg-3307	361	3	1	CARDINAL
fuelectenerg-3307	361	4	at least one	CARDINAL
fuelectenerg-3307	361	5	xor-bi-decomposable	PERSON
fuelectenerg-3307	366	1	4	CARDINAL
fuelectenerg-3307	368	1	24	CARDINAL
fuelectenerg-3307	368	2	x2 ∧ x4	ORG
fuelectenerg-3307	370	1	234	CARDINAL
fuelectenerg-3307	370	2	b. steinbach	PERSON
fuelectenerg-3307	370	3	c. posthoff	PERSON
fuelectenerg-3307	370	4	235	CARDINAL
fuelectenerg-3307	370	5	12	CARDINAL
fuelectenerg-3307	370	6	b. steinbach	PERSON
fuelectenerg-3307	372	1	mccluskey	PERSON
fuelectenerg-3307	374	1	3	CARDINAL
fuelectenerg-3307	374	2	4	DATE
fuelectenerg-3307	374	3	11	CARDINAL
fuelectenerg-3307	375	1	1	CARDINAL
fuelectenerg-3307	376	1	two	CARDINAL
fuelectenerg-3307	376	2	0	CARDINAL
fuelectenerg-3307	376	3	1	CARDINAL
fuelectenerg-3307	377	1	don’t	CARDINAL
fuelectenerg-3307	377	2	0	CARDINAL
fuelectenerg-3307	377	3	5.2	CARDINAL
fuelectenerg-3307	377	4	mccluskey	PERSON
fuelectenerg-3307	377	5	two	CARDINAL
fuelectenerg-3307	380	1	∨	CARDINAL
fuelectenerg-3307	380	2	x1x3)(x4x5)∨	PERSON
fuelectenerg-3307	381	1	23	CARDINAL
fuelectenerg-3307	381	2	23	CARDINAL
fuelectenerg-3307	381	3	two	CARDINAL
fuelectenerg-3307	382	1	2	CARDINAL
fuelectenerg-3307	383	1	eight	CARDINAL
fuelectenerg-3307	383	2	seven	CARDINAL
fuelectenerg-3307	384	1	seven	CARDINAL
fuelectenerg-3307	385	1	18	CARDINAL
fuelectenerg-3307	386	1	25	CARDINAL
fuelectenerg-3307	386	2	two	CARDINAL
fuelectenerg-3307	386	3	six	CARDINAL
fuelectenerg-3307	387	1	5.3	CARDINAL
fuelectenerg-3307	387	2	3	CARDINAL
fuelectenerg-3307	387	3	1	CARDINAL
fuelectenerg-3307	387	4	at least one	CARDINAL
fuelectenerg-3307	387	5	xor-bi-decomposable	PERSON
fuelectenerg-3307	392	1	4	CARDINAL
fuelectenerg-3307	394	1	24	CARDINAL
fuelectenerg-3307	394	2	x2 ∧ x4	ORG
fuelectenerg-3307	396	1	xor-bi-decomposition	PERSON
fuelectenerg-3307	396	2	13	CARDINAL
fuelectenerg-3307	397	1	x2 x3 x4 x5 fig	PERSON
fuelectenerg-3307	398	1	2	CARDINAL
fuelectenerg-3307	398	2	two	CARDINAL
fuelectenerg-3307	401	1	x3 x4 x5	PERSON
fuelectenerg-3307	402	1	3	CARDINAL
fuelectenerg-3307	403	1	5	CARDINAL
fuelectenerg-3307	403	2	6	CARDINAL
fuelectenerg-3307	404	1	x3 ∧	ORG
fuelectenerg-3307	404	2	x4 ⊕	PERSON
fuelectenerg-3307	405	1	⊕ x3	PERSON
fuelectenerg-3307	406	1	25	CARDINAL
fuelectenerg-3307	406	2	3	CARDINAL
fuelectenerg-3307	406	3	l 〈 h1q	LOC
fuelectenerg-3307	408	1	second	ORDINAL
fuelectenerg-3307	408	2	234	CARDINAL
fuelectenerg-3307	408	3	b. steinbach	PERSON
fuelectenerg-3307	408	4	c. posthoff	PERSON
fuelectenerg-3307	408	5	235	CARDINAL
fuelectenerg-3307	408	6	14	CARDINAL
fuelectenerg-3307	408	7	b. steinbach	PERSON
fuelectenerg-3307	408	8	4	CARDINAL
fuelectenerg-3307	408	9	⊕ x3	PERSON
fuelectenerg-3307	409	1	l 〈 h3q	ORG
fuelectenerg-3307	410	1	x4 ⊕ x5	PERSON
fuelectenerg-3307	410	2	x4 ⊕ x5	PERSON
fuelectenerg-3307	412	1	3	CARDINAL
fuelectenerg-3307	412	2	seven	CARDINAL
fuelectenerg-3307	412	3	four	CARDINAL
fuelectenerg-3307	413	1	5.4	CARDINAL
fuelectenerg-3307	413	2	1	CARDINAL
fuelectenerg-3307	415	1	x5 fig	GPE
fuelectenerg-3307	416	1	4	CARDINAL
fuelectenerg-3307	417	1	3	CARDINAL
fuelectenerg-3307	417	2	1	CARDINAL
fuelectenerg-3307	420	1	first	ORDINAL
fuelectenerg-3307	420	2	2	CARDINAL
fuelectenerg-3307	420	3	1 to	CARDINAL
fuelectenerg-3307	420	4	x4	PERSON
fuelectenerg-3307	420	5	9	CARDINAL
fuelectenerg-3307	420	6	8	CARDINAL
fuelectenerg-3307	421	1	17	CARDINAL
fuelectenerg-3307	422	1	2	CARDINAL
fuelectenerg-3307	422	2	14	CARDINAL
fuelectenerg-3307	422	3	21	CARDINAL
fuelectenerg-3307	422	4	20 to 28	CARDINAL
fuelectenerg-3307	423	1	xa	ORG
fuelectenerg-3307	423	2	22	DATE
fuelectenerg-3307	423	3	g1	ORG
fuelectenerg-3307	423	4	23	CARDINAL
fuelectenerg-3307	423	5	24	CARDINAL
fuelectenerg-3307	423	6	24	DATE
fuelectenerg-3307	425	1	x1 ∧	ORG
fuelectenerg-3307	426	1	x1 ⊕ x2)∨	ORG
fuelectenerg-3307	426	2	x2 ∧ x4	ORG
fuelectenerg-3307	427	1	26	CARDINAL
fuelectenerg-3307	427	2	236	CARDINAL
fuelectenerg-3307	427	3	b. steinbach	PERSON
fuelectenerg-3307	427	4	c. posthoff	PERSON
fuelectenerg-3307	427	5	237	CARDINAL
fuelectenerg-3307	427	6	14	CARDINAL
fuelectenerg-3307	427	7	b. steinbach	PERSON
fuelectenerg-3307	427	8	4	CARDINAL
fuelectenerg-3307	427	9	⊕ x3	PERSON
fuelectenerg-3307	428	1	l 〈 h3q	ORG
fuelectenerg-3307	429	1	x4 ⊕ x5	PERSON
fuelectenerg-3307	429	2	x4 ⊕ x5	PERSON
fuelectenerg-3307	431	1	3	CARDINAL
fuelectenerg-3307	431	2	seven	CARDINAL
fuelectenerg-3307	431	3	four	CARDINAL
fuelectenerg-3307	432	1	5.4	CARDINAL
fuelectenerg-3307	432	2	1	CARDINAL
fuelectenerg-3307	434	1	x5 fig	GPE
fuelectenerg-3307	435	1	4	CARDINAL
fuelectenerg-3307	436	1	3	CARDINAL
fuelectenerg-3307	436	2	1	CARDINAL
fuelectenerg-3307	439	1	first	ORDINAL
fuelectenerg-3307	439	2	2	CARDINAL
fuelectenerg-3307	439	3	1 to	CARDINAL
fuelectenerg-3307	439	4	x4	PERSON
fuelectenerg-3307	439	5	9	CARDINAL
fuelectenerg-3307	439	6	8	CARDINAL
fuelectenerg-3307	440	1	17	CARDINAL
fuelectenerg-3307	441	1	2	CARDINAL
fuelectenerg-3307	441	2	14	CARDINAL
fuelectenerg-3307	441	3	21	CARDINAL
fuelectenerg-3307	441	4	20 to 28	CARDINAL
fuelectenerg-3307	442	1	xa	ORG
fuelectenerg-3307	442	2	22	DATE
fuelectenerg-3307	442	3	g1	ORG
fuelectenerg-3307	442	4	23	CARDINAL
fuelectenerg-3307	442	5	24	CARDINAL
fuelectenerg-3307	442	6	24	DATE
fuelectenerg-3307	444	1	x1 ∧	ORG
fuelectenerg-3307	445	1	x1 ⊕ x2)∨	ORG
fuelectenerg-3307	445	2	x2 ∧ x4	ORG
fuelectenerg-3307	446	1	26	CARDINAL
fuelectenerg-3307	446	2	xor-bi-decomposition	PERSON
fuelectenerg-3307	446	3	15	CARDINAL
fuelectenerg-3307	446	4	21	CARDINAL
fuelectenerg-3307	446	5	22	CARDINAL
fuelectenerg-3307	446	6	l 〈 h1q	PRODUCT
fuelectenerg-3307	446	7	25	CARDINAL
fuelectenerg-3307	446	8	26	CARDINAL
fuelectenerg-3307	446	9	2	CARDINAL
fuelectenerg-3307	446	10	25	CARDINAL
fuelectenerg-3307	446	11	21	DATE
fuelectenerg-3307	447	1	max x2	PERSON
fuelectenerg-3307	448	1	max x2	PERSON
fuelectenerg-3307	448	2	x3 ∧	ORG
fuelectenerg-3307	448	3	x4 ⊕	PERSON
fuelectenerg-3307	449	1	⊕ x3	PERSON
fuelectenerg-3307	450	1	x3 ∧	ORG
fuelectenerg-3307	450	2	x4 ⊕	PERSON
fuelectenerg-3307	452	1	x4 ⊕ x5)∨ x3	PERSON
fuelectenerg-3307	453	1	27	CARDINAL
fuelectenerg-3307	453	2	three	CARDINAL
fuelectenerg-3307	453	3	x4	ORG
fuelectenerg-3307	454	1	xa	ORG
fuelectenerg-3307	454	2	xa	ORG
fuelectenerg-3307	454	3	x1,x2	PERSON
fuelectenerg-3307	455	1	2	CARDINAL
fuelectenerg-3307	455	2	22	CARDINAL
fuelectenerg-3307	456	1	26	CARDINAL
fuelectenerg-3307	456	2	27	CARDINAL
fuelectenerg-3307	456	3	g1	ORG
fuelectenerg-3307	457	1	4	CARDINAL
fuelectenerg-3307	457	2	six	CARDINAL
fuelectenerg-3307	457	3	three	CARDINAL
fuelectenerg-3307	458	1	5.5	CARDINAL
fuelectenerg-3307	458	2	1	CARDINAL
fuelectenerg-3307	458	3	•	CARDINAL
fuelectenerg-3307	458	4	mccluskey	PERSON
fuelectenerg-3307	458	5	two	CARDINAL
fuelectenerg-3307	458	6	•	CARDINAL
fuelectenerg-3307	458	7	xa	ORG
fuelectenerg-3307	458	8	•	DATE
fuelectenerg-3307	460	1	seven	CARDINAL
fuelectenerg-3307	460	2	25	CARDINAL
fuelectenerg-3307	460	3	seven	CARDINAL
fuelectenerg-3307	460	4	six	CARDINAL
fuelectenerg-3307	461	1	24%	PERCENT
fuelectenerg-3307	461	2	236	CARDINAL
fuelectenerg-3307	461	3	b. steinbach	PERSON
fuelectenerg-3307	461	4	c. posthoff	PERSON
fuelectenerg-3307	461	5	237	CARDINAL
fuelectenerg-3307	461	6	16	CARDINAL
fuelectenerg-3307	461	7	b. steinbach	PERSON
fuelectenerg-3307	461	8	1	CARDINAL
fuelectenerg-3307	461	9	25	CARDINAL
fuelectenerg-3307	461	10	6 24.0 %	PERCENT
fuelectenerg-3307	461	11	85.7 %	PERCENT
fuelectenerg-3307	461	12	25	CARDINAL
fuelectenerg-3307	461	13	6 24.0 %	PERCENT
fuelectenerg-3307	461	14	85.7 %	PERCENT
fuelectenerg-3307	461	15	6	CARDINAL
fuelectenerg-3307	461	16	3 50.0 %	PERCENT
fuelectenerg-3307	461	17	75.0 %	PERCENT
fuelectenerg-3307	461	18	xor-bi-decomposition	ORG
fuelectenerg-3307	461	19	85.7%	PERCENT
fuelectenerg-3307	464	1	one half	CARDINAL
fuelectenerg-3307	464	2	75%	PERCENT
fuelectenerg-3307	465	1	6	CARDINAL
fuelectenerg-3307	468	1	xa	ORG
fuelectenerg-3307	471	1	19	CARDINAL
fuelectenerg-3307	471	2	20	CARDINAL
fuelectenerg-3307	472	1	24 percent	PERCENT
fuelectenerg-3307	472	2	85 percent	PERCENT
fuelectenerg-3307	473	1	one half	CARDINAL
fuelectenerg-3307	473	2	75 percent	PERCENT
fuelectenerg-3307	474	1	238	CARDINAL
fuelectenerg-3307	474	2	b. steinbach	PERSON
fuelectenerg-3307	474	3	c. posthoff	PERSON
fuelectenerg-3307	474	4	239	CARDINAL
fuelectenerg-3307	474	5	16	CARDINAL
fuelectenerg-3307	474	6	b. steinbach	PERSON
fuelectenerg-3307	474	7	1	CARDINAL
fuelectenerg-3307	474	8	25	CARDINAL
fuelectenerg-3307	474	9	6 24.0 %	PERCENT
fuelectenerg-3307	474	10	85.7 %	PERCENT
fuelectenerg-3307	474	11	25	CARDINAL
fuelectenerg-3307	474	12	6 24.0 %	PERCENT
fuelectenerg-3307	474	13	85.7 %	PERCENT
fuelectenerg-3307	474	14	6	CARDINAL
fuelectenerg-3307	474	15	3 50.0 %	PERCENT
fuelectenerg-3307	474	16	75.0 %	PERCENT
fuelectenerg-3307	474	17	xor-bi-decomposition	ORG
fuelectenerg-3307	474	18	85.7%	PERCENT
fuelectenerg-3307	477	1	one half	CARDINAL
fuelectenerg-3307	477	2	75%	PERCENT
fuelectenerg-3307	478	1	6	CARDINAL
fuelectenerg-3307	481	1	xa	ORG
fuelectenerg-3307	484	1	19	CARDINAL
fuelectenerg-3307	484	2	20	CARDINAL
fuelectenerg-3307	485	1	24 percent	PERCENT
fuelectenerg-3307	485	2	85 percent	PERCENT
fuelectenerg-3307	486	1	one half	CARDINAL
fuelectenerg-3307	486	2	75 percent	PERCENT
fuelectenerg-3307	487	1	17	CARDINAL
fuelectenerg-3307	487	2	1	CARDINAL
fuelectenerg-3307	487	3	d. bochmann	PERSON
fuelectenerg-3307	487	4	f. dresig	PERSON
fuelectenerg-3307	487	5	b. steinbach	PERSON
fuelectenerg-3307	489	1	european	NORP
fuelectenerg-3307	490	1	91	CARDINAL
fuelectenerg-3307	491	1	amsterdam	GPE
fuelectenerg-3307	491	2	netherlands	GPE
fuelectenerg-3307	491	3	1991	DATE
fuelectenerg-3307	492	1	374–377	CARDINAL
fuelectenerg-3307	493	1	2	CARDINAL
fuelectenerg-3307	494	1	testbarkeit	GPE
fuelectenerg-3307	494	2	schaltungen theorie und	ORG
fuelectenerg-3307	495	1	german	NORP
fuelectenerg-3307	495	2	english	NORP
fuelectenerg-3307	496	1	phd thesis	PERSON
fuelectenerg-3307	497	1	tu karl-marx-stadt	PERSON
fuelectenerg-3307	497	2	germany	GPE
fuelectenerg-3307	497	3	1989	DATE
fuelectenerg-3307	498	1	3	CARDINAL
fuelectenerg-3307	498	2	b. steinbach	PERSON
fuelectenerg-3307	500	1	dordrecht	ORG
fuelectenerg-3307	500	2	netherlands	GPE
fuelectenerg-3307	500	3	springer, 2004	DATE
fuelectenerg-3307	501	1	4	CARDINAL
fuelectenerg-3307	501	2	b. steinbach	PERSON
fuelectenerg-3307	503	1	52	DATE
fuelectenerg-3307	504	1	san rafael	PERSON
fuelectenerg-3307	504	2	morgan & claypool	ORG
fuelectenerg-3307	504	3	2017	DATE
fuelectenerg-3307	505	1	5	CARDINAL
fuelectenerg-3307	505	2	a. mishchenko	PERSON
fuelectenerg-3307	505	3	b. steinbach	PERSON
fuelectenerg-3307	505	4	m. perkowski	PERSON
fuelectenerg-3307	507	1	38th	ORDINAL
fuelectenerg-3307	508	1	’01	DATE
fuelectenerg-3307	509	1	las vegas	GPE
fuelectenerg-3307	509	2	nevada	GPE
fuelectenerg-3307	509	3	2001	DATE
fuelectenerg-3307	510	1	103–108	CARDINAL
fuelectenerg-3307	511	1	6	CARDINAL
fuelectenerg-3307	513	1	2015	DATE
fuelectenerg-3307	514	1	rm 4	PERSON
fuelectenerg-3307	515	1	waterloo	PERSON
fuelectenerg-3307	515	2	canada	GPE
fuelectenerg-3307	515	3	2015	DATE
fuelectenerg-3307	516	1	7	CARDINAL
fuelectenerg-3307	516	2	b. steinbach	PERSON
fuelectenerg-3307	518	1	12th	ORDINAL
fuelectenerg-3307	520	1	freiberg	PERSON
fuelectenerg-3307	520	2	germany	GPE
fuelectenerg-3307	520	3	freiberg university of mining and technology	ORG
fuelectenerg-3307	520	4	2016	DATE
fuelectenerg-3307	522	1	8	CARDINAL
fuelectenerg-3307	524	1	26	CARDINAL
fuelectenerg-3307	524	2	1971	DATE
fuelectenerg-3307	525	1	764	CARDINAL
fuelectenerg-3307	526	1	229–246	CARDINAL
fuelectenerg-3307	527	1	9	CARDINAL
fuelectenerg-3307	527	2	m. davio	PERSON
fuelectenerg-3307	527	3	a. thayse	PERSON
fuelectenerg-3307	529	1	22.4	CARDINAL
fuelectenerg-3307	529	2	1973	DATE
fuelectenerg-3307	530	1	409–420	CARDINAL
fuelectenerg-3307	531	1	10	CARDINAL
fuelectenerg-3307	531	2	b. steinbach	PERSON
fuelectenerg-3307	533	1	2009	DATE
fuelectenerg-3307	534	1	11	CARDINAL
fuelectenerg-3307	534	2	b. steinbach	PERSON
fuelectenerg-3307	536	1	7.6	CARDINAL
fuelectenerg-3307	536	2	2010	DATE
fuelectenerg-3307	537	1	933–981	CARDINAL
fuelectenerg-3307	537	2	238	CARDINAL
fuelectenerg-3307	537	3	b. steinbach	PERSON
fuelectenerg-3307	537	4	c. posthoff	PERSON
fuelectenerg-3307	537	5	239 18	CARDINAL
fuelectenerg-3307	537	6	12	CARDINAL
fuelectenerg-3307	537	7	b. steinbach	PERSON
fuelectenerg-3307	540	1	26	CARDINAL
fuelectenerg-3307	541	1	san rafael	GPE
fuelectenerg-3307	541	2	morgan & claypool	ORG
fuelectenerg-3307	541	3	2010	DATE
fuelectenerg-3307	543	1	13	CARDINAL
fuelectenerg-3307	543	2	j. butler	PERSON
fuelectenerg-3307	545	1	6th	ORDINAL
fuelectenerg-3307	547	1	granlibakken resort tahoe city	ORG
fuelectenerg-3307	547	2	1997	DATE
fuelectenerg-3307	548	1	1–6	CARDINAL
fuelectenerg-3307	549	1	14	CARDINAL
fuelectenerg-3307	549	2	m. choudhury	PERSON
fuelectenerg-3307	549	3	k. mohanram	PERSON
fuelectenerg-3307	551	1	2010	DATE
fuelectenerg-3307	553	1	2010	DATE
fuelectenerg-3307	554	1	586–591	CARDINAL
fuelectenerg-3307	555	1	15	CARDINAL
fuelectenerg-3307	555	2	d. cheng	PERSON
fuelectenerg-3307	555	3	x. xu	PERSON
fuelectenerg-3307	557	1	49.7	CARDINAL
fuelectenerg-3307	557	2	2013	DATE
fuelectenerg-3307	557	3	51–76	CARDINAL
fuelectenerg-3307	558	1	16	CARDINAL
fuelectenerg-3307	560	1	materiały konferencyjne knws’13	PERSON
fuelectenerg-3307	561	1	13	CARDINAL
fuelectenerg-3307	561	2	poland	GPE
fuelectenerg-3307	561	3	2013	DATE
fuelectenerg-3307	563	1	17	CARDINAL
fuelectenerg-3307	565	1	2013	DATE
fuelectenerg-3307	566	1	13	CARDINAL
fuelectenerg-3307	567	1	toyama	GPE
fuelectenerg-3307	567	2	japan	GPE
fuelectenerg-3307	567	3	2013	DATE
fuelectenerg-3307	568	1	110–119	CARDINAL
fuelectenerg-3307	569	1	18	CARDINAL
fuelectenerg-3307	569	2	b. steinbach	PERSON
fuelectenerg-3307	569	3	a. wereszczynski	PERSON
fuelectenerg-3307	571	1	10.5	CARDINAL
fuelectenerg-3307	572	1	chiba makuhari	ORG
fuelectenerg-3307	572	2	japan	GPE
fuelectenerg-3307	572	3	1995	DATE
fuelectenerg-3307	573	1	161–168	CARDINAL
fuelectenerg-3307	574	1	19	CARDINAL
fuelectenerg-3307	576	1	9.4	CARDINAL
fuelectenerg-3307	576	2	1992	DATE
fuelectenerg-3307	577	1	297–312	CARDINAL
fuelectenerg-3307	578	1	20	CARDINAL
fuelectenerg-3307	578	2	b. steinbach	PERSON
fuelectenerg-3307	578	3	m. werner	PERSON
fuelectenerg-3307	582	1	b. steinbach	PERSON
fuelectenerg-3307	583	1	newcastle	GPE
fuelectenerg-3307	583	2	tyne	GPE
fuelectenerg-3307	583	3	uk	GPE
fuelectenerg-3307	583	4	cambridge	GPE
fuelectenerg-3307	583	5	2016	DATE
fuelectenerg-3307	584	1	117–149	CARDINAL
fuelectenerg-3307	584	2	240	CARDINAL
fuelectenerg-3307	584	3	b. steinbach	PERSON
fuelectenerg-3307	584	4	c. posthoff	PERSON