Wszystkie pola: constraint satisfaction problem

Skocz do pozycji: 1.

Tytuł:: Sensitive instances of the constraint satisfaction problem
Autorzy:: Kozik, Marcin
Matt, Valeriote
Johnson, Tan
Libor, Barto
Data publikacji:: 2020
Wydawca:: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Słowa kluczowe:: bounded width
local consistency
constraint satisfaction problem
loop lemma
earunanimity operation; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Algebraic properties of valued constraint satisfaction problem
Autorzy:: Ochremiak, Joanna
Kozik, Marcin
Data publikacji:: 2015
Wydawca:: Springer
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Building Constraint Satisfaction Problem solvers using
Autorzy:: Castro, C.
Data publikacji:: 1998
Słowa kluczowe:: constraint satisfaction problems
rewriting logic
computational systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Absorbing subalgebra, cyclic terms and the constraint satisfaction problem
Autorzy:: Kozik, Marcin
Barto, Libor
Data publikacji:: 2012
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Injective hardness condition for PCSPs
Autorzy:: Kozik, Marcin
Banakh, Demian
Data publikacji:: 2024
Słowa kluczowe:: dichotomy
promise constraint satisfaction problem
constraint satisfaction problem
algebraic approach; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Solving Distributed CSPs Probabilistically
Autorzy:: Bistarelli, S.
Gosti, G.
Data publikacji:: 2011
Słowa kluczowe:: Distributed Constraint Satisfaction Problem
naming game; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: CSP dichotomy for special triads
Autorzy:: Kozik, Marcin
Maróti, Miklós
Barto, Libor
Niven, Todd
Data publikacji:: 2009
Słowa kluczowe:: graph coloring
constraint satisfaction problem
triad; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Constraint satisfaction problem based modelling and value ordering based heuristic for nurse scheduling
Autorzy:: Djeffal, L.
Goncalves, G.
Babes, M.
Data publikacji:: 2006
Słowa kluczowe:: constraint programming
global constraints
NP-complete
scheduling
heuristic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Planowanie rozmieszczenia ruchomych podpór jako dyskretny problem spełniania ograniczeń
Mobile fixture planning as a discrete constraint satisfaction problem
Autorzy:: Szynkiewicz, W.
Kasprzak, W.
Zielinska, T.
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: planowanie rozmieszczenia podpór
mobilne podpory
spełnianie ograniczeń
systemy wieloagentowe
procesy obróbcze
fixture planning
mobile fixtures
constraint satisfaction
cooperating agents
robotized machining; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Dichotomy for symmetric boolean PCSPs
Autorzy:: Ficak, Miron
Kozik, Marcin
Stankiewicz, Szymon
Olsak, Miroslav
Data publikacji:: 2019
Wydawca:: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Słowa kluczowe:: PCSP
promise constraint satisfaction problem
algebraic approach; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Models and tools for improving efficiency in Constraint Logic Programming
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: constraint satisfaction problem (CSP)
constraint programming
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Fuzzy project scheduling using constraint programming
Autorzy:: Relich, M.
Data publikacji:: 2013
Słowa kluczowe:: project cash flow
constraint satisfaction problem (CSP)
project portfolio; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Expressive power, satisfiability and equivalence of circuits over nilpotent algebras
Autorzy:: Kawałek, Piotr
Idziak, Paweł
Krzaczkowski, Jacek
Data publikacji:: 2018
Wydawca:: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Słowa kluczowe:: Constraint Satisfaction Problem
solving equations
structure theory
circuit satisfiability; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Models and tools for improving efficiency in Constraint Logic Programming
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: constraint satisfaction problem (CSP)
constraint programming
constraint logic programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Fuzzy project scheduling using constraint programming
Autorzy:: Relich, M.
Data publikacji:: 2013
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: project cash flow
constraint satisfaction problem (CSP)
project portfolio; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Unifying the three algebraic approaches to the CSP via minimal Taylor algebras
Autorzy:: Kozik, Marcin
Zhuk, Dmitriy
Bulatov, Andrei
Brady, Zarathustra
Barto, Libor
Data publikacji:: 2024
Słowa kluczowe:: universal algebra
Constraint Satisfaction Problem
minimal Taylor algebra
polymorphism; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Finding Minimum Locating Arrays Using a CSP Solver
Autorzy:: Konishi, Tatsuya
Kojima, Hideharu
Nakagawa, Hiroyuki
Tsuchiya, Tatsuhiro
Data publikacji:: 2020
Słowa kluczowe:: combinatorial interaction testing
constraint satisfaction problem
locating array
software testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: CP-based decision support package for production flow planning - an SME perspective
Autorzy:: Bzdyra, K.
Tomczuk-Piróg, I.
Data publikacji:: 2006
Słowa kluczowe:: constraint logic programming
decision support
flow planning
constraint satisfaction problem (CSP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: CP-based decision support package for production flow planning - an SME perspective
Autorzy:: Bzdyra, K.
Tomczuk-Piróg, I.
Data publikacji:: 2006
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: constraint logic programming
decision support
flow planning
constraint satisfaction problem (CSP); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: The use of fuzzy modelling and reverse inference to analyze the effects of ERP system implementation
Autorzy:: Ważna, L.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: ERP system implementation
planned effects
fuzzy modelling
constraint satisfaction problem (CSP); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: The use of fuzzy modelling and reverse inference to analyze the effects of ERP system implementation
Autorzy:: Ważna, L.
Data publikacji:: 2012
Słowa kluczowe:: ERP system implementation
planned effects
fuzzy modelling
constraint satisfaction problem (CSP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Computational Intelligence for Estimating Cost of New Product Development
Autorzy:: Marcin Relich
Data publikacji:: 2016-01-01
Tematy:: project management
neural networks
fuzzy neural system
constraint satisfaction problem
decision support system; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Interaktywne projektowanie z wykorzystaniem transformacji grafowych
Autorzy:: Skowron, Marcin
Data publikacji:: 2004
Wydawca:: Uniwersytet Jagielloński w Krakowie
Słowa kluczowe:: problem specyfikowany przez ograniczenia
constraint satisfaction problem
interaktywna gramatyka grafowa
interactive graph grammar; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: CLP-based approach to decision support for SCM systems
Autorzy:: Tomczuk-Piróg, I.
Mądry, M.
Banaszak, Z
Data publikacji:: 2007
Słowa kluczowe:: supply chain management
constraint logic programming
constraint satisfaction problem (CSP)
decision support system
waste distribution network; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: User-preferred solutions of fuzzy optimisation problems - an application in choosing user-preferred inspection intervals
Raport Badawczy = Research Report ; RB/20/2001
Autorzy:: Hryniewicz, Olgierd (1948– )
Data publikacji:: 2001
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Optymalna kontrola
Preferemcje użytkownika
Optymalizacja rozmyta
Fuzzy optimality
Flexible constraint satisfaction problem
Optimal inspection
User preferences; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Risk assessement in multi-project environment
Autorzy:: Tomczuk-Piróg, I.
Banaszak, Z.
Data publikacji:: 2007
Słowa kluczowe:: constraint logic programming
constraint satisfaction problem (CSP)
decision support system
knowledge engineering
projects management
multi-project environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Risk assessement in multi-project environment
Autorzy:: Tomczuk-Piróg, I.
Banaszak, Z.
Data publikacji:: 2007
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: constraint logic programming
constraint satisfaction problem (CSP)
decision support system
knowledge engineering
projects management
multi-project environment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Characterisation of Constraint Satisfaction Problems over edge affine clausal languages, solvable by Datalog.
Klasyfikacja problemów spełniania więzów nad językami clausal edge affine, które są rozwiązywalne przez Datalog
Autorzy:: Jarosz, Kamil
Słowa kluczowe:: tcs, theoretical computer science, csp, problem spełnialności więzów, Datalog, Schaefer
tcs, theoretical computer science, csp, constraint satisfaction problem, Datalog, Schaefer; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń
Autorzy:: Sitek, P.
Wikarek, J.
Bocewicz, G.
Data publikacji:: 2007
Słowa kluczowe:: harmonogramowanie zadań
rozdział zasobów
problem spełniania ograniczeń
CSP
programowanie w logice z ograniczeniami
CLP
scheduling problem
Constraint Satisfaction Problem
Constraint Logic Programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Implementation of a decision support model of the supply chain management in the environment of constraint logic programming
Autorzy:: Wikarek, J.
Data publikacji:: 2013
Słowa kluczowe:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
supply chain management
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Programowanie z ograniczeniami przy wykorzystaniu ILOG OPL
Autorzy:: Mazur, Ł.
Data publikacji:: 2008
Słowa kluczowe:: CP/CLP
ograniczenia
problemy kombinatoryczne
programowanie z ograniczeniami
środowisko ILOG OPL
constraints
combinatorial problems
constraint satisfaction problem (CSP)
constraints programming
ILOG OPL environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Implementation of a decision support model of the supply chain management in the environment of constraint logic programming
Implementacja modelu wspomagania decyzji zarzadzania łańcuchem dostaw w środowisku programowania w logice z ograniczeniami
Autorzy:: Wikarek, J.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
Supply Chain Management (SCM)
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Accelerating backtrack search with a best-first-search strategy
Autorzy:: Mann, Z. Á.
Szép, T.
Data publikacji:: 2014
Słowa kluczowe:: best first search
backtrack
branch and bound
constraint satisfaction problem (CSP)
frequent restarting
algorytm wyszukiwania
system backtrack
metoda podziału i ograniczeń
programowanie z ograniczeniami; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Accelerating backtrack search with a best-first-search strategy
Autorzy:: Mann, Z. Á.
Szép, T.
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: best first search
backtrack
branch and bound
constraint satisfaction problem (CSP)
frequent restarting
algorytm wyszukiwania
system backtrack
metoda podziału i ograniczeń
programowanie z ograniczeniami; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Planowanie rozmieszczenia ruchomych podpór jako dyskretny problem spełniania ograniczeń
Autorzy:: Szynkiewicz, W.
Kasprzak, W.
Zielinska, T.
Data publikacji:: 2012
Słowa kluczowe:: planowanie rozmieszczenia podpór
mobilne podpory
spełnianie ograniczeń
systemy wieloagentowe
procesy obróbcze
fixture planning
mobile fixtures
constraint satisfaction
cooperating agents
robotized machining; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Modelowanie wielowymiarowych wyrażeń w języku MDX
Autorzy:: Mazur, Ł.
Data publikacji:: 2010
Słowa kluczowe:: CP/CLP
ograniczenia
problemy kombinatoryczne
problem spełnienia ograniczeń CSP
programowanie z ograniczeniami
środowisko ILOG OPL
constraints
combinatorial problems
constraint satisfaction problem (CSP)
constraints programming
ILOG OPL environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Portfolio selection of new product projects: a product reliability perspective
Autorzy:: Relich, M.
Data publikacji:: 2016
Słowa kluczowe:: cost estimation
project alternatives
constraint satisfaction problem
constraint logic programming
decision support system
estymacja kosztów
warianty alternatywne projektu
problem spełniania ograniczeń
programowanie w logice z ograniczeniami
system wspomagania decyzji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Zastosowanie programowania w logice z ograniczeniami do wspomagania decyzji zarządzania łańcuchem dostaw
Autorzy:: Sitek, P.
Data publikacji:: 2013
Słowa kluczowe:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
modelowanie hybrydowe
supply chain management
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP)
hybrid modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Portfolio selection of new product projects: a product reliability perspective
Wybór portfela projektów nowych produktów z uwzględnieniem niezawodności produktu
Autorzy:: Relich, M.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:: cost estimation
project alternatives
constraint satisfaction problem
constraint logic programming
decision support system
estymacja kosztów
warianty alternatywne projektu
problem spełniania ograniczeń
programowanie w logice z ograniczeniami
system wspomagania decyzji; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Application of constraint logic programming to decision support for the supply chain management
Zastosowanie programowania w logice z ograniczeniami do wspomagania decyzji zarządzania łańcuchem dostaw
Autorzy:: Sitek, P.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
modelowanie hybrydowe
Supply Chain Management (SCM)
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP)
hybrid modeling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference
Autorzy:: Jastrzab, Tomasz
Czech, Zbigniew J.
Wieczorek, Wojciech
Data publikacji:: 2021
Słowa kluczowe:: parallel algorithms
learning regular languages
nondeterministic finite automata
constraint satisfaction
satisfiability problem
grammatical inference; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Constraint satisfaction techniques in planning and scheduling: An introduction
Autorzy:: Bartak, R.
Data publikacji:: 2008
Słowa kluczowe:: constraint satisfaction
problem modeling
planning
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: CuikSLAM with unknown correspondence - preliminary results
Autorzy:: Kubica, B.
Szynkiewicz, W.
Data publikacji:: 2007
Słowa kluczowe:: SLAM
kinematic problem
unknown corresopondence
interval computations
constraint satisfaction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Emergent problem solving in multi-agent systems
Autorzy:: Quinqueton, J.
Data publikacji:: 2000
Słowa kluczowe:: constraint satisfaction
distributed problem solving
multi-agent system
emergence
phase transition
critical phenomena; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
Autorzy:: Kullmann, O.
Data publikacji:: 2011
Słowa kluczowe:: autarkies
deficiency
satisfiability problem
constraint satisfaction problems
generalised clause-sets
signed formulas
non-boolean variables
polynomial time
matching autarkies
lean clause-sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
Autorzy:: Soh, T.
Tamura, N.
Banbara, M.
Inouey, K.
Nabeshima, H.
Data publikacji:: 2010
Słowa kluczowe:: Boolean satisfiability
strip packing problem
SAT encoding
constraint satisfaction problems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Reference Model of Project Prototyping Problem
Autorzy:: Marcin Relich
Zbigniew Banaszak
Data publikacji:: 2011-01-01
Tematy:: project management
reference model
constraints satisfaction problem
constraint programming
alternative projects
knowledge base
decision support system
allocation planning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "constraint satisfaction problem" wg kryterium: Wszystkie pola