Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
evaluating programming » computing programming, exploring programming
integrated evaluating » integrated evaluation, integrals evaluating, internet evaluating
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
evaluating programming » computing programming, exploring programming
integrated evaluating » integrated evaluation, integrals evaluating, internet evaluating
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
1
Published 2014
Table of Contents:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... -- 10. Review of potato biotic constraints and experiences with integrated pest management interventions...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...”View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...”View full text
Electronic
eBook
20
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook