Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
solving programming » solving programmed, modeling programming, using programming
integrated solving » integrated moving, integration solving, integrators solving
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
solving programming » solving programmed, modeling programming, using programming
integrated solving » integrated moving, integration solving, integrators solving
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
7
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”View full text
Electronic
eBook
11
Published 2011
Table of Contents:
“..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”View full text
Electronic
eBook
12
Table of Contents:
“... of the Legacy PHP Site -- Converting Game Records -- Supporting News -- Enhancing the Gaming Site -- Integrating...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...”View full text
Electronic
eBook
14
Table of Contents:
“... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”View full text
Electronic
eBook