Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
proceedings programming » processing programming, proceedings program, procedure programming
programming constraint » programming constrained, programming unconstrained, programming constructs
integrals computing » integrated computing, interval computing, integration computing
constraint https » constraint atoms, constraint graphs, constraint codes
proceedings programming » processing programming, proceedings program, procedure programming
programming constraint » programming constrained, programming unconstrained, programming constructs
integrals computing » integrated computing, interval computing, integration computing
constraint https » constraint atoms, constraint graphs, constraint codes
1
Argitaratua 2014
Aurkibidea:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2015
Gaiak:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2013
Gaiak:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2011
Gaiak:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2012
Gaiak:
“...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2011
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2013
Aurkibidea:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2012
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2008
Aurkibidea:
“... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2014
Aurkibidea:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”Testu osoa
Baliabide elektronikoa
eBook