1
Izdano 2014
Kazalo: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Polni tekst
Elektronski eKnjiga
2
Izdano 2014
Kazalo: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Polni tekst
Elektronski eKnjiga
3
Izdano 2007
Kazalo: ... -- Connections in Networks: Hardness of Feasibility Versus Optimality -- Modeling the Regular Constraint...
Polni tekst
Elektronski eKnjiga
4
Izdano 2008
Kazalo: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Polni tekst
Elektronski eKnjiga
5
Izdano 2012
Teme: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
Polni tekst
Elektronski eKnjiga
6
Izdano 2005
Kazalo: ... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...
Polni tekst
Elektronski eKnjiga
7
Izdano 2007
Kazalo: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Polni tekst
Elektronski eKnjiga
8
Izdano 2010
Kazalo: ..., and Visualisation Environment for G12 -- Global Constraints on Feature Models -- Constraint Programming for Mining n...
Polni tekst
Elektronski eKnjiga
9
Izdano 2013
Kazalo: ... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...
Polni tekst
Elektronski eKnjiga
10
Izdano 2008
Kazalo: ... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...
Polni tekst
Elektronski eKnjiga
11
Izdano 2008
Kazalo: ... -- On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools -- Development...
Polni tekst
Elektronski eKnjiga
12
Izdano 2005
Kazalo: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Polni tekst
Elektronski eKnjiga
13
Izdano 2006
Kazalo: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Polni tekst
Elektronski eKnjiga
14
Izdano 2008
Kazalo: ... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...
Polni tekst
Elektronski eKnjiga
15
Izdano 2011
Kazalo: ...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...
Polni tekst
Elektronski eKnjiga
16
Izdano 2012
Kazalo: ... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...
Polni tekst
Elektronski eKnjiga
17
Izdano 2008
Kazalo: ... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...
Polni tekst
Elektronski eKnjiga
18
Izdano 2008
Kazalo: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
Polni tekst
Elektronski eKnjiga
19
Izdano 2006
Kazalo: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
Polni tekst
Elektronski eKnjiga
20
Izdano 2008
Kazalo: ... with Broad Boundaries -- Capturing Temporal Constraints in Temporal ER Models -- Temporal Constraints in Non...
Polni tekst
Elektronski eKnjiga