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