Edit Profile (opens in new tab) Kučera, Petr Co-Author Distance Author ID: kucera.petr Published as: Kučera, Petr; Kucera, Petr; Kučera, P. more...less External Links: ORCID Documents Indexed: 56 Publications since 1986 Co-Authors: 25 Co-Authors with 46 Joint Publications 788 Co-Co-Authors all top 5 Co-Authors 10 single-authored 16 Čepek, Ondřej 12 Skalák, Zdeněk 6 Boros, Endre 6 Savický, Petr 5 Beneš, Michal 5 Neustupa, Jiří 4 Guo, Zhengguang 3 Bérczi, Kristóf 3 Kronus, David 3 Makino, Kazuhisa 2 Gurský, Štefan 2 Kogan, Alexander 2 Vlček, Václav 2 Vorel, Vojtěch 1 Babka, Martin 1 Balyo, Tomáš 1 Chromý, Miloš 1 Elbassioni, Khaled M. 1 Goljan, Miroslav 1 Kratochvíl, Jan 1 Kuřík, Stanislav 1 Nečasová, Šárka 1 Netuka, Ivan 1 Penel, Patrick 1 Vacková, Petra all top 5 Serials 5 Theoretical Computer Science 4 Discrete Applied Mathematics 3 Journal of Mathematical Analysis and Applications 3 Nonlinearity 3 Applications of Mathematics 3 The Journal of Artificial Intelligence Research (JAIR) 3 Annals of Mathematics and Artificial Intelligence 2 Commentationes Mathematicae Universitatis Carolinae 1 Artificial Intelligence 1 Information Processing Letters 1 Lithuanian Mathematical Journal 1 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 1 Archiv der Mathematik 1 Mathematische Nachrichten 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 SIAM Journal on Computing 1 Studii și Cercetări Matematice 1 Acta Applicandae Mathematicae 1 Annals of Operations Research 1 Electronic Journal of Differential Equations (EJDE) 1 Review Bulletin of the Calcutta Mathematical Society 1 Constraints 1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik 1 Journal of Mathematical Fluid Mechanics 1 WSEAS Transactions on Mathematics 1 Carpathian Journal of Mathematics 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 RIMS Kôkyûroku Bessatsu 1 Discrete and Continuous Dynamical Systems. Series S 1 Journal of Elliptic and Parabolic Equations all top 5 Fields 29 Partial differential equations (35-XX) 23 Computer science (68-XX) 23 Fluid mechanics (76-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 6 Mathematical logic and foundations (03-XX) 5 Information and communication theory, circuits (94-XX) 3 Combinatorics (05-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 38 Publications have been cited 250 times in 157 Documents Cited by ▼ Year ▼ Local solutions to the Navier-Stokes equations with mixed boundary conditions. Zbl 0924.35097Kučera, Petr; Skalák, Zdeněk 27 1998 Regularity criterion for solutions to the Navier-Stokes equations in the whole 3D space based on two vorticity components. Zbl 1378.35217Guo, Zhengguang; Kučera, Petr; Skalák, Zdeněk 26 2018 Solutions to the Navier-Stokes equations with mixed boundary conditions in two-dimensional bounded domains. Zbl 1381.35116Beneš, Michal; Kučera, Petr 22 2016 An existence theorem for the Boussinesq equations with non-Dirichlet boundary conditions. Zbl 1067.35080Skalák, Zdeněk; Kučera, Petr 16 2000 Basic properties of solution of the non-steady Navier-Stokes equations with mixed boundary conditions in a bounded domain. Zbl 1205.35198Kučera, Petr 16 2009 The application of anisotropic troisi inequalities to the conditional regularity for the Navier-Stokes equations. Zbl 1393.35144Guo, Zhengguang; Kučera, Petr; Skalák, Zdeněk 14 2018 String graphs. Zbl 0607.05031Kratochvíl, Jan; Goljan, Miroslav; Kučera, Petr 13 1986 Solutions of the Navier-Stokes equations with various types of boundary conditions. Zbl 1241.35143Beneš, Michal; Kučera, Petr 10 2012 A subclass of Horn CNFs optimally compressible in polynomial time. Zbl 1253.68311Boros, Endre; Čepek, Ondřej; Kogan, Alexander; Kučera, Petr 10 2009 On the Navier-Stokes flows for heat-conducting fluids with mixed boundary conditions. Zbl 1234.35177Beneš, Michal; Kučera, Petr 8 2012 Exclusive and essential sets of implicates of Boolean functions. Zbl 1194.06010Boros, Endre; Čepek, Ondřej; Kogan, Alexander; Kučera, Petr 8 2010 The time-periodic solutions of the Navier-Stokes equations with mixed boundary conditions. Zbl 1193.35135Kučera, Petr 8 2010 Solutions of the stationary Navier-Stokes equations with mixed boundary conditions in bounded domain. Zbl 0915.76016Kučera, P. 7 1998 A decomposition method for CNF minimality proofs. Zbl 1358.68120Boros, Endre; Čepek, Ondřej; Kučera, Petr 6 2013 Properties of SLUR formulae. Zbl 1298.68110Čepek, Ondřej; Kučera, Petr; Vlček, Václav 5 2012 A note on coupling of velocity components in the Navier-Stokes equations. Zbl 1042.35052Skalák, Zdeněk; Kučera, Petr 5 2004 Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing. Zbl 1101.68087Čepek, Ondřej; Kučera, Petr 5 2005 Regularity of pressure in the neighbourhood of regular points of weak solutions of the Navier-Stokes equations. Zbl 1099.35104Skalák, Zdeněk; Kučera, Petr 5 2003 Non-steady Navier-Stokes equations with homogeneous mixed boundary conditions and arbitrarily large initial condition. Zbl 1164.35066Beneš, Michal; Kučera, Petr 5 2007 Hydras: complexity on general graphs and a subclass of trees. Zbl 1357.68150Kučera, Petr 4 2017 Complexity issues related to propagation completeness. Zbl 1329.68130Babka, Martin; Balyo, Tomáš; Čepek, Ondřej; Gurský, Štefan; Kučera, Petr; Vlček, Václav 4 2013 A pressure associated with a weak solution to the Navier-Stokes equations with Navier’s boundary conditions. Zbl 1444.76041Neustupa, Jiří; Nečasová, Šárka; Kučera, Petr 3 2020 Recognition of interval Boolean functions. Zbl 1171.06007Čepek, Ondřej; Kronus, David; Kučera, Petr 3 2008 Boolean functions with a simple certificate for CNF complexity. Zbl 1246.94056Čepek, Ondřej; Kučera, Petr; Savický, Petr 2 2012 A structure of the set of critical points to the Navier-Stokes equations with mixed boundary conditions. Zbl 0941.35067Kučera, Petr 2 1998 On \(L^3\)-stability of strong solutions of the Navier-Stokes equations with the Navier-type boundary conditions. Zbl 1306.35086Kučera, Petr; Neustupa, Jiří 2 2013 A note on the generalized energy inequality in the Navier-Stokes equations. Zbl 1099.35099Kučera, Petr; Skalák, Zdeněk 2 2003 On robustness of a strong solution to the Navier-Stokes equations with Navier’s boundary conditions in the \(L^3\)-norm. Zbl 1367.35109Kučera, Petr; Neustupa, Jiří 2 2017 On perturbations of solutions to the Navier-Stokes equations with large initial data and their dynamics. Zbl 1239.76021Kučera, Petr; Neustupa, Jiří 1 2009 A lower bound on CNF encodings of the at-most-one constraint. Zbl 1417.68199Kučera, Petr; Savický, Petr; Vorel, Vojtěch 1 2019 Bounds on the size of PC and URC formulas. Zbl 1497.68453Kučera, Petr; Savický, Petr 1 2020 Unique key Horn functions. Zbl 1500.68005Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa 1 2022 Navier-Stokes equations: regularity criteria in terms of the derivatives of several fundamental quantities along the streamlines – the case of a bounded domain. Zbl 1500.35223Guo, Zhengguang; Kučera, Petr; Skalak, Zdenek 1 2022 A lower bound on CNF encodings of the at-most-one constraint. Zbl 1417.68198Kučera, Petr; Savický, Petr; Vorel, Vojtěch 1 2017 Small perturbations of initial conditions of solutions of the Navier-Stokes equations in the \(L^3\)-norm and applications. Zbl 1374.35283Kučera, Petr 1 2010 Navier-Stokes equation with the generalized impermeability boundary conditions and initial data in domains of powers of the Stokes operator. Zbl 1127.35038Kučera, Petr; Neustupa, Jiří; Penel, Patrick 1 2007 Remark on regularity of weak solutions to the Navier-Stokes equations. Zbl 1115.35104Skalák, Zdeněk; Kučera, Petr 1 2001 Approximating minimum representations of key Horn functions. Zbl 1504.68052Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa 1 2022 Unique key Horn functions. Zbl 1500.68005Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa 1 2022 Navier-Stokes equations: regularity criteria in terms of the derivatives of several fundamental quantities along the streamlines – the case of a bounded domain. Zbl 1500.35223Guo, Zhengguang; Kučera, Petr; Skalak, Zdenek 1 2022 Approximating minimum representations of key Horn functions. Zbl 1504.68052Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa 1 2022 A pressure associated with a weak solution to the Navier-Stokes equations with Navier’s boundary conditions. Zbl 1444.76041Neustupa, Jiří; Nečasová, Šárka; Kučera, Petr 3 2020 Bounds on the size of PC and URC formulas. Zbl 1497.68453Kučera, Petr; Savický, Petr 1 2020 A lower bound on CNF encodings of the at-most-one constraint. Zbl 1417.68199Kučera, Petr; Savický, Petr; Vorel, Vojtěch 1 2019 Regularity criterion for solutions to the Navier-Stokes equations in the whole 3D space based on two vorticity components. Zbl 1378.35217Guo, Zhengguang; Kučera, Petr; Skalák, Zdeněk 26 2018 The application of anisotropic troisi inequalities to the conditional regularity for the Navier-Stokes equations. Zbl 1393.35144Guo, Zhengguang; Kučera, Petr; Skalák, Zdeněk 14 2018 Hydras: complexity on general graphs and a subclass of trees. Zbl 1357.68150Kučera, Petr 4 2017 On robustness of a strong solution to the Navier-Stokes equations with Navier’s boundary conditions in the \(L^3\)-norm. Zbl 1367.35109Kučera, Petr; Neustupa, Jiří 2 2017 A lower bound on CNF encodings of the at-most-one constraint. Zbl 1417.68198Kučera, Petr; Savický, Petr; Vorel, Vojtěch 1 2017 Solutions to the Navier-Stokes equations with mixed boundary conditions in two-dimensional bounded domains. Zbl 1381.35116Beneš, Michal; Kučera, Petr 22 2016 A decomposition method for CNF minimality proofs. Zbl 1358.68120Boros, Endre; Čepek, Ondřej; Kučera, Petr 6 2013 Complexity issues related to propagation completeness. Zbl 1329.68130Babka, Martin; Balyo, Tomáš; Čepek, Ondřej; Gurský, Štefan; Kučera, Petr; Vlček, Václav 4 2013 On \(L^3\)-stability of strong solutions of the Navier-Stokes equations with the Navier-type boundary conditions. Zbl 1306.35086Kučera, Petr; Neustupa, Jiří 2 2013 Solutions of the Navier-Stokes equations with various types of boundary conditions. Zbl 1241.35143Beneš, Michal; Kučera, Petr 10 2012 On the Navier-Stokes flows for heat-conducting fluids with mixed boundary conditions. Zbl 1234.35177Beneš, Michal; Kučera, Petr 8 2012 Properties of SLUR formulae. Zbl 1298.68110Čepek, Ondřej; Kučera, Petr; Vlček, Václav 5 2012 Boolean functions with a simple certificate for CNF complexity. Zbl 1246.94056Čepek, Ondřej; Kučera, Petr; Savický, Petr 2 2012 Exclusive and essential sets of implicates of Boolean functions. Zbl 1194.06010Boros, Endre; Čepek, Ondřej; Kogan, Alexander; Kučera, Petr 8 2010 The time-periodic solutions of the Navier-Stokes equations with mixed boundary conditions. Zbl 1193.35135Kučera, Petr 8 2010 Small perturbations of initial conditions of solutions of the Navier-Stokes equations in the \(L^3\)-norm and applications. Zbl 1374.35283Kučera, Petr 1 2010 Basic properties of solution of the non-steady Navier-Stokes equations with mixed boundary conditions in a bounded domain. Zbl 1205.35198Kučera, Petr 16 2009 A subclass of Horn CNFs optimally compressible in polynomial time. Zbl 1253.68311Boros, Endre; Čepek, Ondřej; Kogan, Alexander; Kučera, Petr 10 2009 On perturbations of solutions to the Navier-Stokes equations with large initial data and their dynamics. Zbl 1239.76021Kučera, Petr; Neustupa, Jiří 1 2009 Recognition of interval Boolean functions. Zbl 1171.06007Čepek, Ondřej; Kronus, David; Kučera, Petr 3 2008 Non-steady Navier-Stokes equations with homogeneous mixed boundary conditions and arbitrarily large initial condition. Zbl 1164.35066Beneš, Michal; Kučera, Petr 5 2007 Navier-Stokes equation with the generalized impermeability boundary conditions and initial data in domains of powers of the Stokes operator. Zbl 1127.35038Kučera, Petr; Neustupa, Jiří; Penel, Patrick 1 2007 Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing. Zbl 1101.68087Čepek, Ondřej; Kučera, Petr 5 2005 A note on coupling of velocity components in the Navier-Stokes equations. Zbl 1042.35052Skalák, Zdeněk; Kučera, Petr 5 2004 Regularity of pressure in the neighbourhood of regular points of weak solutions of the Navier-Stokes equations. Zbl 1099.35104Skalák, Zdeněk; Kučera, Petr 5 2003 A note on the generalized energy inequality in the Navier-Stokes equations. Zbl 1099.35099Kučera, Petr; Skalák, Zdeněk 2 2003 Remark on regularity of weak solutions to the Navier-Stokes equations. Zbl 1115.35104Skalák, Zdeněk; Kučera, Petr 1 2001 An existence theorem for the Boussinesq equations with non-Dirichlet boundary conditions. Zbl 1067.35080Skalák, Zdeněk; Kučera, Petr 16 2000 Local solutions to the Navier-Stokes equations with mixed boundary conditions. Zbl 0924.35097Kučera, Petr; Skalák, Zdeněk 27 1998 Solutions of the stationary Navier-Stokes equations with mixed boundary conditions in bounded domain. Zbl 0915.76016Kučera, P. 7 1998 A structure of the set of critical points to the Navier-Stokes equations with mixed boundary conditions. Zbl 0941.35067Kučera, Petr 2 1998 String graphs. Zbl 0607.05031Kratochvíl, Jan; Goljan, Miroslav; Kučera, Petr 13 1986 all cited Publications top 5 cited Publications all top 5 Cited by 201 Authors 20 Kučera, Petr 16 Beneš, Michal 9 Čepek, Ondřej 9 Wu, Fan 8 Neustupa, Jiří 7 Guo, Zhengguang 6 Kratochvíl, Jan 6 Neustupa, Tomáš 6 Pažanin, Igor 5 Boros, Endre 4 Kukavica, Igor 4 O, Chol-Jun 4 Radulović, Marko 4 Savický, Petr 4 Skalák, Zdeněk 3 Bérczi, Kristóf 3 Hsia, Chun-Hsiung 3 Kim, Tujin 3 Ziane, Mohammed 2 Adaricheva, Kira Vladislavovna 2 Amrouche, Chérif 2 Ceretani, Andrea N. 2 Defrain, Oscar 2 Gwynne, Matthew 2 Jung, Changyeol 2 Kullmann, Oliver 2 Li, Kaitai 2 Li, Yeping 2 Makino, Kazuhisa 2 Nečasová, Šárka 2 Nourine, Lhouari 2 Rautenberg, Carlos N. 2 Shangerganesh, Lingeshwaran 2 Shiue, Ming-Cheng 2 Sperone, Gianmarco 2 Tong, Dongfu 2 Wang, Weiming 2 Wang, Yanqing 2 Yang, Minsuk 2 Zhou, Daoguo 1 Al Baba, Hind 1 Al-Saedi, Balasim 1 Alekseev, Gennady V. 1 Alvarez-Vázquez, Lino Jose 1 An, Rong 1 Anjam, Yasir Nadeem 1 Anthoni, Selvaraj Marshal 1 Arndt, Rafael 1 Ausiello, Giorgio 1 Badra, Mehdi 1 Balachandran, Krishnan 1 Barish, Robert D. 1 Ben Omrane, Ines 1 Benvenutti, Maicon J. 1 Boussetouan, Imane 1 Cabello, Sergio 1 Cao, Daomin 1 Chemin, Jean-Yves 1 Chen, Fangru 1 Chen, Shih-Hsin 1 Chen, Zhengmao 1 Choi, Jongkeun 1 Chromý, Miloš 1 Constantin, Adrian 1 Craig, Walter 1 Deiva Mani, V. N. 1 Deuring, Paul 1 Dong, Hongjie 1 Dong, Yu 1 Du, Guangzhi 1 Escobedo Martínez, Miguel 1 Feireisl, Eduard 1 Feistauer, Miloslav 1 Fernández, Francisco Javier 1 Ferreira, Lucas Catão de Freitas 1 Fourdrinoy, Olivier 1 Fox, Jacob 1 Gal, Ciprian Gheorghe Sorin 1 Gala, Sadek 1 Gallagher, Isabelle 1 Gavenčiak, Tomáš 1 Ghosh, Amrita 1 Gordinowicz, Przemysław 1 Grasselli, Maurizio 1 Grégoire, Éric 1 Gruber, Aritanan 1 Guyenne, Philippe 1 Hoang, Hung P. 1 Huang, Aixiang 1 Huang, Yaofang 1 Hušek, Radek 1 Janson, Svante 1 Jejčič, Miha 1 Jelínek, Vít 1 Kanamaru, Ryo 1 Karthikeyan, Shanmugasundaram 1 Kechkar, Nasserdine 1 Keil, J. Mark 1 Kim, Doyoon 1 Kim, Jaemyoung ...and 101 more Authors all top 5 Cited in 70 Serials 12 Journal of Mathematical Fluid Mechanics 8 Theoretical Computer Science 8 Applied Mathematics Letters 8 Nonlinear Analysis. Real World Applications 7 Discrete Applied Mathematics 7 Journal of Mathematical Analysis and Applications 5 Discrete Mathematics 5 ZAMP. Zeitschrift für angewandte Mathematik und Physik 4 Journal of Mathematical Physics 4 Mathematische Nachrichten 4 Applications of Mathematics 4 Annals of Mathematics and Artificial Intelligence 3 Applied Mathematics and Computation 3 Journal of Differential Equations 3 Acta Applicandae Mathematicae 3 Journal of Elliptic and Parabolic Equations 2 Archive for Rational Mechanics and Analysis 2 Computers & Mathematics with Applications 2 Archiv der Mathematik 2 Journal of Combinatorial Theory. Series B 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 The Journal of Artificial Intelligence Research (JAIR) 2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 2 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 Applicable Analysis 1 Indian Journal of Pure & Applied Mathematics 1 Information Processing Letters 1 Mathematical Methods in the Applied Sciences 1 Advances in Mathematics 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Applied Mathematics and Optimization 1 Journal of Computational and Applied Mathematics 1 Journal of the Korean Mathematical Society 1 Monatshefte für Mathematik 1 Numerische Mathematik 1 SIAM Journal on Computing 1 European Journal of Combinatorics 1 Chinese Annals of Mathematics. Series B 1 Algorithmica 1 Journal of Automated Reasoning 1 Journal of Scientific Computing 1 Annals of Operations Research 1 Computational Geometry 1 The Journal of Geometric Analysis 1 Discrete Mathematics and Applications 1 Communications in Partial Differential Equations 1 SIAM Journal on Mathematical Analysis 1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences 1 Journal of Nonlinear Science 1 Continuum Mechanics and Thermodynamics 1 Calculus of Variations and Partial Differential Equations 1 Electronic Journal of Differential Equations (EJDE) 1 Computational and Applied Mathematics 1 The Electronic Journal of Combinatorics 1 Constraints 1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 1 Acta Mathematica Sinica. English Series 1 Journal of Dynamical and Control Systems 1 Journal of Evolution Equations 1 Acta Mathematica Scientia. Series B. (English Edition) 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Discrete Optimization 1 Boundary Value Problems 1 Banach Journal of Mathematical Analysis 1 Advances in Mathematical Physics 1 International Journal of Differential Equations 1 Evolution Equations and Control Theory 1 Proceedings of the American Mathematical Society. Series B 1 AIMS Mathematics 1 Mathematics in Engineering all top 5 Cited in 27 Fields 110 Partial differential equations (35-XX) 102 Fluid mechanics (76-XX) 30 Computer science (68-XX) 16 Combinatorics (05-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 9 Numerical analysis (65-XX) 8 Mathematical logic and foundations (03-XX) 8 Classical thermodynamics, heat transfer (80-XX) 6 Information and communication theory, circuits (94-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 Systems theory; control (93-XX) 2 Real functions (26-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of deformable solids (74-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Geophysics (86-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Algebraic geometry (14-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year