All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

4 386 (0,091s) •

Project

Constraint satisfaction problem and universal algebra (GP201/09/P223)

Satisfaction Problem (CSP). The goal is to prove the dichotomy conjecture of Feder and Vardi for a broad class of CSP problems. In particular, we will study the bounded width problems and CSPs fo...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 633 tis. Kč
    • •
  • 633 tis. Kč
    • •
  • GA ČR
Project

General algebra and its connections to computer science (GA13-01832S)

The aim of the project is to solve selected problems in areas on the border of general algebra and computer science. We will focus on the following problems: complexity of the constraint satisfaction problems (the Feder-Var...

BA - Obecná matematika

  • 2013 - 2017
    • •
  • 6 852 tis. Kč
    • •
  • 6 852 tis. Kč
    • •
  • GA ČR
Project

Characterization and tractability of constraint languages via logical methods (GA25-16324S)

in connection with the resolution of the CSP dichotomy conjecture and the establishment of the algebraic framework for Promise CSP. The fundamental tools are standardized reductions-definability-based reductions and apply them to r...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2025 - 2027
    • •
  • 6 185 tis. Kč
    • •
  • 5 892 tis. Kč
    • •
  • GA ČR
Project

Realization of CSP module in HW version for the purposes of application within the State Administration (SU20012001006)

The aim of the project should be to realize the national CSP (Crypto Service Provider) in the form of the hardware means on the basis of the PCI board for PC IBM computers compatible.......

JA - Elektronika a optoelektronika, elektrotechnika

  • 2001 - 2001
    • •
  • 3 549 tis. Kč
    • •
  • 3 549 tis. Kč
    • •
  • NBÚ
Project

Constraint programming and Boolean satisfiability for artificial intelligence (GP201/09/P318)

satisfaction techniques to provide more efficiency in solving problems motivated-area of artificial intelligence) as a source of difficult problems to drive for relaxing hard problems arising in constraint programming and ...

IN - Informatika

  • 2009 - 2011
    • •
  • 882 tis. Kč
    • •
  • 882 tis. Kč
    • •
  • GA ČR
Project

Knowledge compilation for constraint programming (7AMB17FR027)

and CSP reformulations which improve the effectivity of problem solving or bring problem we have a polynomial reduction of this problem to UNSAT (a problem where we with various types of consistencies in ...

IN - Informatika

  • 2017 - 2018
    • •
  • 108 tis. Kč
    • •
  • 108 tis. Kč
    • •
  • MŠMT
Project

An Algebraic Approach to the Constraint Satisfaction Problem (MEB050817)

The main goal of the cooperation is to provide an opportunity for Czech and Polish researchers to share their experience and exchange the ideas concerning the Constraint Satisfaction Problem, namely the dichotomy question. The cooperation ha...

BA - Obecná matematika

  • 2008 - 2009
    • •
  • 90 tis. Kč
    • •
  • 85 tis. Kč
    • •
  • MŠMT
Project

Algebraic Methods in the Representation Theory (Approximations, Realizations, and Constraints) (GA201/09/0816)

The proposed five year project of basic research is focused on the following three areas of contemporary algebra:(i) The structure of projective and tilting modules over associative rings, and their applications.(ii) Algebraic representations of latt...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 2 382 tis. Kč
    • •
  • 2 382 tis. Kč
    • •
  • GA ČR
Project

Parallel performance prediction and tuning (GA102/02/0503)

of communicating sequential processes (CSP), which yields the most concise description.). The projectaims at utilization of CSP-based simulation tool Transim used world-wide......

JC - Počítačový hardware a software

  • 2002 - 2004
    • •
  • 1 154 tis. Kč
    • •
  • 794 tis. Kč
    • •
  • GA ČR
Project

Novel chiral stationary phases derived from natural compounds (8J23AT017)

to the target CSPs and the methodology of column packing, which is especially important to disclose the full potential of the CSPs. Finally, chromatographic evaluation......

Organic chemistry

  • 2023 - 2024
    • •
  • 105 tis. Kč
    • •
  • 105 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 4 386