Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
proceeding programming » processing programming, procedure programming, programming programming
programming constraint » programming constrained, programming unconstrained, programming constructs
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
constraint codes » constraint models, constraint model, constraint mode
proceeding programming » processing programming, procedure programming, programming programming
programming constraint » programming constrained, programming unconstrained, programming constructs
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
constraint codes » constraint models, constraint model, constraint mode
1
Udgivet 2014
Indholdsfortegnelse:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2015
Fag:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2013
Fag:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2011
Fag:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2012
Fag:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2013
Indholdsfortegnelse:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2012
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
14
Udgivet 2007
Indholdsfortegnelse:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2014
Indholdsfortegnelse:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2007
Indholdsfortegnelse:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Få fuldtekst
Electronisk
eBog