The following pages link to (Q3489527):
Displaying 23 items.
- A hybrid constraint programming approach to the log-truck scheduling problem (Q545549) (← links)
- A logic-based approach to polymer sequence analysis (Q655183) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- On the page number of RNA secondary structures with pseudoknots (Q694703) (← links)
- Logic-based modeling and solution of nonlinear discrete/continuous optimization problems (Q817192) (← links)
- A survey of search methodologies and automated system development for examination timetabling (Q835639) (← links)
- A multi-objective evolutionary algorithm for examination timetabling (Q842554) (← links)
- Undirected forest constraints (Q846145) (← links)
- A logic language for combinatorial optimization (Q918429) (← links)
- CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
- Scheduling internal audit activities: a stochastic combinatorial optimization problem (Q975756) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Model-based inference in CHARME. (Q1342427) (← links)
- A hypergraph model for constraint logic programming and applications to bus drivers' scheduling (Q1353919) (← links)
- Global optimization of disjunctive programs (Q1679482) (← links)
- Computational systems for qualitative economics (Q1891388) (← links)
- Running time experiments on some algorithms for solving propositional satisfiability problems (Q1897402) (← links)
- New constructs for the description of combinatorial optimization problems in algebraic modeling languages (Q1918922) (← links)
- On the arc consistency problem (Q1964359) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- Constraint Satisfaction (Q4452903) (← links)
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes (Q5479853) (← links)
- From eager or lazy constrained data acquisition: A general framework (Q5952497) (← links)
