Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

594 (0,12s)

Výsledek výzkumu

Recenze knih: Constraint Processing, Handbook of Constraint Programming

Recenze knih Constraint Processing, Handbook of Constraint Programming...

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

  • 2008
  • Jx
Výsledek výzkumu

Constraint processing

Constraint processing...

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

  • 2005
  • Jx
Výsledek výzkumu

On relaxing the Mangasarian-Fromovitz constraint qualification

BA - Obecná matematika

  • 2014
  • Jx
  • Odkaz
Výsledek výzkumu

Soft CLP(FD)

JD - Využití počítačů, robotika a její aplikace

  • 2003
  • D
Výsledek výzkumu

University Course Timetabling with Soft Constraints

JD - Využití počítačů, robotika a její aplikace

  • 2003
  • D
Výsledek výzkumu

Solving of Constraint Satisfaction Problem

Computer hardware and architecture

  • 2014
  • D
  • Odkaz
Výsledek výzkumu

Soft arc consistency revisited

JD - Využití počítačů, robotika a její aplikace

  • 2010
  • Jx
Výsledek výzkumu

Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting

Computer and information sciences

  • 2017
  • Jimp
  • Odkaz
Výsledek výzkumu

A Lower Bound on CNF Encodings of the At-most-one Constraint

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

  • 2019
  • Jimp
  • Odkaz
Výsledek výzkumu

A Lower Bound on CNF Encodings of the At-Most-One Constraint

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

  • 2017
  • D
  • Odkaz
  • 1 - 10 z 594