The following pages link to Petr Kučera (Q392184):
Displaying 50 items.
- A decomposition method for CNF minimality proofs (Q392185) (← links)
- Boolean functions with a simple certificate for CNF complexity (Q412324) (← links)
- On perturbations of solutions to the Navier-Stokes equations with large initial data and their dynamics (Q425881) (← links)
- Solutions of the Navier-Stokes equations with various types of boundary conditions (Q431197) (← links)
- Hydras: complexity on general graphs and a subclass of trees (Q507535) (← links)
- Basic properties of solution of the non-steady Navier-Stokes equations with mixed boundary conditions in a bounded domain (Q626988) (← links)
- Analysing DNA microarray data using Boolean techniques (Q646703) (← links)
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- On the Navier-Stokes flows for heat-conducting fluids with mixed boundary conditions (Q764921) (← links)
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- A note on the generalized energy inequality in the Navier-Stokes equations. (Q851600) (← links)
- Regularity of pressure in the neighbourhood of regular points of weak solutions of the Navier-Stokes equations. (Q851603) (← links)
- Exclusive and essential sets of implicates of Boolean functions (Q968115) (← links)
- The time-periodic solutions of the Navier-Stokes equations with mixed boundary conditions (Q983439) (← links)
- Recognition of interval Boolean functions (Q1029585) (← links)
- Local solutions to the Navier-Stokes equations with mixed boundary conditions (Q1281450) (← links)
- An existence theorem for the Boussinesq equations with non-Dirichlet boundary conditions. (Q1581352) (← links)
- Regularity criterion for solutions to the Navier-Stokes equations in the whole 3D space based on two vorticity components (Q1674422) (← links)
- Local in time existence of solution of the Navier-Stokes equations with various types of boundary conditions (Q2061629) (← links)
- Propagation complete encodings of smooth DNNF theories (Q2079276) (← links)
- Learning a propagation complete formula (Q2170198) (← links)
- A pressure associated with a weak solution to the Navier-Stokes equations with Navier's boundary conditions (Q2185946) (← links)
- Phase transition in matched formulas and a heuristic for biclique satisfiability (Q2206220) (← links)
- Generating clause sequences of a CNF formula (Q2219060) (← links)
- On \(L^3\)-stability of strong solutions of the Navier-Stokes equations with the Navier-type boundary conditions (Q2257164) (← links)
- Complexity issues related to propagation completeness (Q2351039) (← links)
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing (Q2387427) (← links)
- On the size of maximum renamable Horn sub-CNF (Q2387435) (← links)
- Boolean functions with long prime implicants (Q2445231) (← links)
- Unique key Horn functions (Q2672584) (← links)
- The local regularity conditions for the Navier-Stokes equations via one directional derivative of the velocity (Q2674413) (← links)
- Solutions to the Navier-Stokes equations with mixed boundary conditions in two-dimensional bounded domains (Q2792249) (← links)
- Properties of SLUR Formulae (Q2891367) (← links)
- On Minimum Representations of Matched Formulas (Q2938476) (← links)
- The application of anisotropic Troisi inequalities to the conditional regularity for the Navier–Stokes equations (Q3176641) (← links)
- (Q3431748) (← links)
- (Q3437280) (← links)
- (Q3603291) (← links)
- (Q3745859) (← links)
- (Q3775796) (← links)
- (Q3837846) (← links)
- (Q4350762) (← links)
- (Q4441015) (← links)
- A note on coupling of velocity components in the Navier-Stokes equations (Q4458627) (← links)
- Small Perturbations of Initial Conditions of Solutions of the Navier–Stokes Equations in the L3–Norm and Applications (Q4593574) (← links)
- (Q4828835) (← links)
- (Q4881921) (← links)
- (Q4938453) (← links)
- Navier–Stokes equations: regularity criteria in terms of the derivatives of several fundamental quantities along the streamlines—the case of a bounded domain (Q5042392) (← links)
- Bounds on the size of PC and URC formulas (Q5145828) (← links)
