Concepedia

Ondřej Čepek

OČ

11

Publications

222

Citations

11

H-Index

1998

Active since

Affiliations

Charles University(Current)

Rutgers, The State University of New Jersey

University of Finance and Administration

Ondřej Čepek is an author at Charles University specializing in engineering, combinatorial optimization, and computer science.

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationFormal MethodsComputational ComplexityAutomated ReasoningMathematical ProgrammingProof ComplexityCircuit ComplexityOperations Research

Publications per year

1998–2013

11

Publications

11

Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities

Petr Vilím, Roman Barták, Ondřej Čepek · Constraints · 2005 · 40 citations

Mathematical Programming, Resource Constraint, Engineering +8

Temporal Networks with Alternatives: Complexity and Model.

Roman Barták, Ondřej Čepek · The Florida AI Research Society · 2007 · 32 citations

Engineering, Project Scheduling, Network Analysis +17

A Satisfiability Formulation of Problems on Level Graphs

Bert Randerath, Ewald Speckenmeyer, Endre Boros et al. · Electronic Notes in Discrete Mathematics · 2001 · 24 citations

Engineering, Graph Theory, Automated Reasoning +7

Nonpreemptive flowshop scheduling with machine dominance

Ondřej Čepek, Masanori Okada, Milan Vlach · European Journal of Operational Research · 2002 · 21 citations

Engineering, Scheduling Problem, Machine Dominance +6

A subclass of Horn CNFs optimally compressible in polynomial time

Endre Boros, Ondřej Čepek, Alexander Kogan et al. · Annals of Mathematics and Artificial Intelligence · 2009 · 20 citations

Numerical Analysis, Mathematical Programming, Computational Complexity Theory +11

Rows per page

1–5 of 11