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

2 408 (0,072s) •

Project

Powering SMT Solvers by Machine Learning (LL1902)

. To solve real-world problems, many tools rely on SMT by translating the problems significantly advance SMT solving by developing Machine Learning methods that prune critical problems in SMT and its appli...

Communication engineering and systems

  • 2020 - 2025
    • •
  • 38 916 tis. Kč
    • •
  • 38 916 tis. Kč
    • •
  • MŠMT
Project

Abstraction and Other Techniques in Semi-Symbolic Program Verification (GA18-02177S)

employ other program analysis and verification techniques (slicing, SMT solving, etc...

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

  • 2018 - 2020
    • •
  • 6 232 tis. Kč
    • •
  • 4 562 tis. Kč
    • •
  • GA ČR
Project

Efficient Automata Techniques for Formal Reasoning (GJ16-24707Y)

The project focuses on development of efficient algorithms for finite automata applicable in formal verification and analysis of dynamic systems. The central idea is to explore connections between automata, SAT/SMT solving, and prog...

IN - Informatika

  • 2016 - 2019
    • •
  • 8 142 tis. Kč
    • •
  • 8 142 tis. Kč
    • •
  • GA ČR
Project

Scalable Techniques for Analysis of Complex Properties of Computer Systems (GA20-07487S)

. In the former case, a special attention will be devoted to approaches based on SAT/SMT solving, including improvements of the decision procedures used.......

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

  • 2020 - 2022
    • •
  • 10 611 tis. Kč
    • •
  • 9 278 tis. Kč
    • •
  • GA ČR
Project

intALG-MAPFg Intelligent Algorithms for Generalized Variants of Multi-Agent Path Finding (GA19-17966S)

theoretical challenge but also has many practical applications. Solving techniques in generalizations of MAPF. Our research aims on study of intelligent solving algorithms in the SAT modulo theory framework (SMT) and compl...

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

  • 2019 - 2021
    • •
  • 2 693 tis. Kč
    • •
  • 2 693 tis. Kč
    • •
  • GA ČR
Project

"Innovation in the development and production of electronic products, especially transceiver modules" (FX04030013_3175)

The project reflects the increasing share of production in the company's total sales and the related increase in costs for outsourced services, especially SMT assembly. The output of the project is a comprehensive innovation of the productio...

Computer hardware and architecture

  • 2023 - 2024
    • •
  • 28 615 tis. Kč
    • •
  • 11 470 tis. Kč
    • •
  • MPO
Project

Pattern REcognition-based Statistically Enhanced MT (7E10057)

with the positive aspects of corpus-driven approaches, such as SMT and EBMT. In order...

IN - Informatika

  • 2010 - 2012
    • •
  • 1 484 tis. Kč
    • •
  • 1 484 tis. Kč
    • •
  • MŠMT
Project

Quasi-Decision Procedures for First-Order Theories of Real Functions (GA21-09458S)

Decision procedures for predicate logical theories play an increasingly important role in computer science, especially in combination with Boolean satisfiability solvers, that is, in the form of SAT modulo theory (SMT) solvers. While-decisio...

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

  • 2021 - 2024
    • •
  • 2 541 tis. Kč
    • •
  • 2 541 tis. Kč
    • •
  • GA ČR
Project

Automata for Decision Procedures and Verification (GA19-24397S)

, abstraction, and heuristics from SAT/SMT solving. Our motivation is tightly connected...

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

  • 2019 - 2023
    • •
  • 8 460 tis. Kč
    • •
  • 6 551 tis. Kč
    • •
  • GA ČR
Project

STRINGS String Constraints for Security Analysis (GA25-17934S)

We aim at advancing the technology of string constraint solving (SCS) to enable security analysis of web applications. It is a timely objective---vulnerabilities to cross-site scripting, SQL-injection, or security policy malfunctions are amo...

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

  • 2025 - 2028
    • •
  • 10 212 tis. Kč
    • •
  • 9 384 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 2 408