Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
solving programming » solving programmed, modeling programming, using programming
integrated solving » integrated moving, integration solving, integrators solving
constraint https » constraint atoms, constraint graphs, constraint codes
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
solving programming » solving programmed, modeling programming, using programming
integrated solving » integrated moving, integration solving, integrators solving
constraint https » constraint atoms, constraint graphs, constraint codes
1
Udgivet 2015
Fag:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2014
Indholdsfortegnelse:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2014
Indholdsfortegnelse:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“... Manufacturing -- A Constraint Programming Approach for the Service Consolidation Problem -- Solving Connected...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2007
Indholdsfortegnelse:
“... -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2011
Fag:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2008
Indholdsfortegnelse:
“... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2007
Indholdsfortegnelse:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2013
Indholdsfortegnelse:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“...An Overview of Picat -- Basic Constraint Modeling -- Advanced Constraint Modeling -- Dynamic...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Udgivet 2006
Indholdsfortegnelse:
“... Programming -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Relaxation...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2005
Indholdsfortegnelse:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... Program Declarative Bias -- Generalising Constraint Solving over Finite Domains -- Detection of Security...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2013
Indholdsfortegnelse:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2015
Indholdsfortegnelse:
“... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”Få fuldtekst
Electronisk
eBog