Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
interaction constraint » interaction constraints, interactions constraints, interactive constraint
programming programmed » processing programmed
programmed constraints » programming constraints, programs constraints, programming constraint
constraints https » constraints haptic, constraints data, constraints chap
interaction constraint » interaction constraints, interactions constraints, interactive constraint
programming programmed » processing programmed
programmed constraints » programming constraints, programs constraints, programming constraint
constraints https » constraints haptic, constraints data, constraints chap
1
Izdano 2014
Kazalo:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2006
Kazalo:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2013
Kazalo:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Polni tekst
Elektronski
eKnjiga
4
Izdano 2005
Kazalo:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”Polni tekst
Elektronski
eKnjiga
5
Izdano 2008
Kazalo:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Polni tekst
Elektronski
eKnjiga
6
Izdano 2015
Kazalo:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Polni tekst
Elektronski
eKnjiga
7
Izdano 2008
Kazalo:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Polni tekst
Elektronski
eKnjiga
8
Izdano 2014
Kazalo:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Polni tekst
Elektronski
eKnjiga
9
Izdano 2007
Kazalo:
“... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”Polni tekst
Elektronski
eKnjiga
10
Izdano 2010
Kazalo:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Polni tekst
Elektronski
eKnjiga
11
Izdano 2008
Kazalo:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Polni tekst
Elektronski
eKnjiga
12
Izdano 2012
Kazalo:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”Polni tekst
Elektronski
eKnjiga
13
Izdano 2005
Kazalo:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”Polni tekst
Elektronski
eKnjiga
14
Izdano 2013
Kazalo:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Polni tekst
Elektronski
eKnjiga
15
Izdano 2015
Kazalo:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”Polni tekst
Elektronski
eKnjiga
16
Kazalo:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
17
Izdano 2013
Kazalo:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Polni tekst
Elektronski
eKnjiga
18
Izdano 2005
Kazalo:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Polni tekst
Elektronski
eKnjiga
19
Izdano 2007
Kazalo:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”Polni tekst
Elektronski
eKnjiga
20
Izdano 2006
Kazalo:
“... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”Polni tekst
Elektronski
eKnjiga