Suggested Topics within your search.
Search alternatives:
integration solving » integration coping, integration doing, integration setting
solving programming » solving programmed, modeling programming, using programming
programming program » programming programmed, programming problem, programming problems
program case » programs case, programes case, programs cases
case https » care https, use https, change https
1
Cover Image
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
Save to List
Saved in:
2
Cover Image
Table of Contents: “... Programmes -- Advanced Topics in Goal Programming Formulation -- Solving and Analysing Goal Programming...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2010
Table of Contents: “... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2008
Table of Contents: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2015
Table of Contents: “... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2014
Table of Contents: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2010
Table of Contents: “... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Published 2006
Table of Contents: “... Case Studies -- Railway Scheduling with Declarative Constraint Programming -- User Profiles...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2006
Table of Contents: “... -- Application Issues of Genetic Programming in Industry -- Challenges in Open-Ended Problem Solving with Genetic...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Table of Contents: “... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2013
Table of Contents: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2010
Table of Contents: “...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2010
Table of Contents: “... Solutions to Linear Programs An Algorithm for the Mixed Integer Problem -- An Automatic Method for Solving...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2007
Table of Contents: “... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2013
Table of Contents: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
by Hooker, John N., Hooker, John N.
Published 2012
Subjects: “...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2007
Table of Contents: “... -- Grid Superscalar Enabled P-Grade Portal -- Redesigning the Segl Problem Solving Environment: A Case...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2010
Table of Contents: “...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2010
Table of Contents: “... -- Reducing the Cost of Model-Based Testing through Test Case Diversity -- Built-In Data-Flow Integration...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search