scientific article
From MaRDI portal
Publication:3489527
zbMath0707.68101MaRDI QIDQ3489527
Pascal Van Hentenryck, Claudine Pradelles, L. Zimmer, Thomas Graf
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A survey of search methodologies and automated system development for examination timetabling, Model-based inference in CHARME., Computational systems for qualitative economics, A multi-objective evolutionary algorithm for examination timetabling, Undirected forest constraints, Running time experiments on some algorithms for solving propositional satisfiability problems, A hypergraph model for constraint logic programming and applications to bus drivers' scheduling, New constructs for the description of combinatorial optimization problems in algebraic modeling languages, Global optimization of disjunctive programs, A logic language for combinatorial optimization, On the arc consistency problem, A logic-based approach to polymer sequence analysis, Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini, Interval propagation to reason about sets: Definition and implementation of a practical language, On the page number of RNA secondary structures with pseudoknots, CPBPV: a constraint-programming framework for bounded program verification, A hybrid constraint programming approach to the log-truck scheduling problem, Scheduling internal audit activities: a stochastic combinatorial optimization problem, From eager or lazy constrained data acquisition: A general framework, Constraint Satisfaction, Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes, Integrating answer set programming and constraint logic programming, Logic-based modeling and solution of nonlinear discrete/continuous optimization problems
