Ondrej Cepek

	2012
27		Ondrej Cepek, Petr Kucera, Stanislav Kurik: Boolean functions with long prime implicants. ISAIM 2012
26		Ondrej Cepek, Petr Kucera, Václav Vlcek: Properties of SLUR Formulae. SOFSEM 2012: 177-189
25		Ondrej Cepek, Petr Kucera, Petr Savický: Boolean functions with a simple certificate for CNF complexity. Discrete Applied Mathematics 160(4-5): 365-382 (2012)
24		Endre Boros, Ondrej Cepek, Vladimir Gurvich: Total tightness implies Nash-solvability for three-person game forms. Discrete Mathematics 312(8): 1436-1443 (2012)
	2011
23		Ondrej Cepek, Petr Kucera: Disjoint essential sets of implicates of a CQ Horn function. Ann. Math. Artif. Intell. 61(3): 231-244 (2011)
22		Ondrej Cepek, David Kronus, Petr Kucera: Analysing DNA microarray data using Boolean techniques. Annals OR 188(1): 77-110 (2011)
	2010
21		Roman Barták, Ondrej Cepek, Pavel Surynek: Discovering implied constraints in precedence graphs with alternatives. Annals OR 180(1): 233-263 (2010)
20		Ondrej Cepek: Book review. Computer Science Review 4(3): 185-187 (2010)
19		Endre Boros, Ondrej Cepek, Alexander Kogan, Petr Kucera: Exclusive and essential sets of implicates of Boolean functions. Discrete Applied Mathematics 158(2): 81-96 (2010)
	2009
18		Endre Boros, Ondrej Cepek, Alexander Kogan, Petr Kucera: A subclass of Horn CNFs optimally compressible in polynomial time. Ann. Math. Artif. Intell. 57(3-4): 249-291 (2009)
	2008
17		Roman Barták, Ondrej Cepek: Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models. AIMSA 2008: 235-246
16		Roman Barták, Ondrej Cepek: Nested temporal networks with alternatives: recognition and tractability. SAC 2008: 156-157
15		Ondrej Cepek, David Kronus, Petr Kucera: Recognition of interval Boolean functions. Ann. Math. Artif. Intell. 52(1): 1-24 (2008)
14		Roman Barták, Ondrej Cepek: Incremental Filtering Algorithms for Precedence and Dependency Constraints. International Journal on Artificial Intelligence Tools 17(1): 205-221 (2008)
	2007
13		Roman Barták, Ondrej Cepek, Martin Hejna: Temporal Reasoning in Nested Temporal Networks with Alternatives. CSCLP 2007: 17-31
12		Roman Barták, Ondrej Cepek: Temporal Networks with Alternatives: Complexity and Model. FLAIRS Conference 2007: 641-646
	2006
11		Roman Barták, Ondrej Cepek: A Constraint Model for State Transitions in Disjunctive Resources. CSCLP 2006: 48-62
10		Roman Barták, Ondrej Cepek: Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach. ICAPS 2006: 350-353
9		Roman Barták, Ondrej Cepek: Incremental Filtering Algorithms for Precedence and Dependency Constraints. ICTAI 2006: 416-426
	2005
8		Ondrej Cepek, Shao Chin Sung: A quadratic time algorithm to maximize the number of just-in-time jobs on identical parallel machines. Computers & OR 32: 3265-3271 (2005)
7		Petr Vilím, Roman Barták, Ondrej Cepek: Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities. Constraints 10(4): 403-425 (2005)
6		Ondrej Cepek, Petr Kucera: Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing. Discrete Applied Mathematics 149(1-3): 14-52 (2005)
	2004
5		Petr Vilím, Roman Barták, Ondrej Cepek: Unary Resource Constraint with Optional Activities. CP 2004: 62-76
	2002
4		Ondrej Cepek, Masanori Okada, Milan Vlach: Nonpreemptive flowshop scheduling with machine dominance. European Journal of Operational Research 139(2): 245-261 (2002)
	2001
3		Bert Randerath, Ewald Speckenmeyer, Endre Boros, Peter L. Hammer, Alexander Kogan, Kazuhisa Makino, Bruno Simeone, Ondrej Cepek: A Satisfiability Formulation of Problems on Level Graphs. Electronic Notes in Discrete Mathematics 9: 269-277 (2001)
	1998
2		Endre Boros, Ondrej Cepek, Alexander Kogan: Horn Minimization by Iterative Decomposition. Ann. Math. Artif. Intell. 23(3-4): 321-343 (1998)
	1997
1		Endre Boros, Ondrej Cepek: On perfect 0, +/- 1 matrices, . Discrete Mathematics 165-166: 81-100 (1997)

Coauthor Index

1	Roman Barták	[5] [7] [9] [10] [11] [12] [13] [14] [16] [17] [21]
2	Endre Boros	[1] [2] [3] [18] [19] [24]
3	Vladimir Gurvich	[24]
4	Peter L. Hammer (Peter Ladislaw Hammer)	[3]
5	Martin Hejna	[13]
6	Alexander Kogan	[2] [3] [18] [19]
7	David Kronus	[15] [22]
8	Petr Kucera	[6] [15] [18] [19] [22] [23] [25] [26] [27]
9	Stanislav Kurik	[27]
10	Kazuhisa Makino	[3]
11	Masanori Okada	[4]
12	Bert Randerath	[3]
13	Petr Savický	[25]
14	Bruno Simeone	[3]
15	Ewald Speckenmeyer	[3]
16	Shao Chin Sung	[8]
17	Pavel Surynek	[21]
18	Petr Vilím	[5] [7]
19	Milan Vlach	[4]
20	Václav Vlcek	[26]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page