Erscheinungsjahr
Format
Lizenz
Sprache
TIB-Lesesaalbestand
Synonyme wurden verwendet für: Constraint programming
Suche ohne Synonyme: keywords:("Constraint programming")
Verwendete Synonyme:
- constraint programmierung
-
Consistency for Quantified Constraint Satisfaction Problems
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
AC-^*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Maximum Constraint Satisfaction on Diamonds
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Interval Analysis in Scheduling
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Mind the Gaps: A New Splitting Strategy for Consistency Techniques
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Symmetry Definitions for Constraint Satisfaction Problems
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
The G12 Project: Mapping Solver Independent Models to Efficient Solutions
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
A hybrid setup for a hybrid scenario: combining heuristics for the home health care problem
Elsevier | 2005|Schlagwörter: Constraint programming -
Variable neighborhood search and local branching
British Library Conference Proceedings | 2006|Schlagwörter: Constraint programming -
Variable symmetry breaking in numerical constraint problems
Freier ZugriffBASE | 2015|Schlagwörter: Constraint programming -
A hybrid Constraint Programming/Mixed Integer Programming framework for the preventive signaling maintenance crew scheduling problem
Freier ZugriffBASE | 2018|Schlagwörter: Constraint programming -
Propagation via lazy clause generation
British Library Conference Proceedings | 2009|Schlagwörter: Constraint programming -
Limitations of restricted branching in clause learning
British Library Conference Proceedings | 2009|Schlagwörter: Constraint programming -
Identification of fuzzy measures from sample data with genetic algorithms
British Library Conference Proceedings | 2006|Schlagwörter: Constraint programming -
A constraint programming approach to cutset problems
British Library Conference Proceedings | 2006|Schlagwörter: Constraint programming -
The Role of Redundant Clauses in Solving Satisfiability Problems
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Towards the Systematic Generation of Channelling Constraints
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Dimensioning an Inbound Call Center Using Constraint Programming
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
A Constraint Based Agent for TAC-SCM
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Acquiring Parameters of Implied Global Constraints
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Transfer-robot task scheduling in job shop
Taylor & Francis Verlag | 2021|Schlagwörter: constraint programming -
Dynamic Slicing for Concurrent Constraint Languages
Freier ZugriffBASE | 2020|Schlagwörter: Concurrent Constraint Programming -
Engineering scalable propagation in constraint programming
Freier ZugriffBASE | 2018|Schlagwörter: Constraint Programming -
Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Weak Symmetries in Problem Formulations
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
LP as a Global Search Heuristic Across Different Constrainedness Regions
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Local Consistency in Weighted CSPs and Inference in Max-SAT
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Improved Algorithm for Finding (a,b)-Super Solutions
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Extremal CSPs
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Approximations in Distributed Optimization
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Neighbourhood Clause Weight Redistribution in Local Search for SAT
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
On Solving Soft Temporal Constraints Using SAT Techniques
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Using SAT in QBF
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Depth-First Mini-Bucket Elimination
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Generating Corrective Explanations for Interactive Constraint Satisfaction
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
A Linear-Logic Semantics for Constraint Handling Rules
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Incremental Algorithms for Local Search from Existential Second-Order Logic
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
A BDD-Based Interactive Configurator for Modular Systems
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Proterv-II: An Integrated Production Planning and Scheduling System
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Bounds-Consistent Local Search
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Probabilistic Arc Consistency
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Modeling Constraint Programs with Software Technology Standards
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Solving the Car-Sequencing Problem as a Non-binary CSP
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Test Instance Generation for MAX 2SAT
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Solving Large-Scale Nonlinear Programming Problems by Constraint Partitioning
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Repair-Based Methods for Quantified CSPs
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming -
Weak Composition for Qualitative Spatial and Temporal Reasoning
British Library Conference Proceedings | 2005|Schlagwörter: Constraint programming (Computer science), Constraint programming
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.