Pages that link to "Item:Q1245009"

The following pages link to A language and a program for stating and solving combinatorial problems (Q1245009):

Displaying 26 items.

• Tractability-preserving transformations of global cost functions (Q309935) (← links)
• Improved filtering for weighted circuit constraints (Q487627) (← links)
• Using dual presolving reductions to reformulate cumulative constraints (Q487651) (← links)
• Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
• Undirected forest constraints (Q846145) (← links)
• A logic language for combinatorial optimization (Q918429) (← links)
• The design of the zinc modelling language (Q941812) (← links)
• Essence: A constraint language for specifying combinatorial problems (Q941817) (← links)
• An improved particle swarm optimization algorithm for flowshop scheduling problem (Q975447) (← links)
• MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
• A generic arc-consistency algorithm and its specializations (Q1199922) (← links)
• Constraint satisfaction using constraint logic programming (Q1204868) (← links)
• A linear and discrete programming framework for representing qualitative knowledge (Q1309850) (← links)
• Tools for reformulating logical forms into zero-one mixed integer programs (Q1317155) (← links)
• Model-based inference in CHARME. (Q1342427) (← links)
• Automated theorem proving in mathematics. (Q1353941) (← links)
• Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption. (Q1417510) (← links)
• Backjump-based backtracking for constraint satisfaction problems (Q1605408) (← links)
• Constraint programming and operations research (Q1616390) (← links)
• Intruder alert! Optimization models for solving the mobile robot graph-clear problem (Q1617399) (← links)
• Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← links)
• New constructs for the description of combinatorial optimization problems in algebraic modeling languages (Q1918922) (← links)
• A new order relation on fuzzy soft sets and its application (Q1955479) (← links)
• Core group placement: allocation and provisioning of heterogeneous resources (Q2294073) (← links)
• Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction (Q2342595) (← links)
• A constraint programming primer (Q2513743) (← links)