Pages that link to "Item:Q918954"

The following pages link to Modeling and integer programming techniques applied to propositional calculus (Q918954):

Displaying 20 items.

• An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks (Q665166) (← links)
• Computational experience with an interior point algorithm on the satisfiability problem (Q753688) (← links)
• Computing sparse and dense realizations of reaction kinetic systems (Q848181) (← links)
• Deriving conclusions in expert systems when knowledge is incomplete (Q1201854) (← links)
• Generating logical expressions from positive and negative examples via a branch-and-bound approach (Q1318514) (← links)
• Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach (Q1330807) (← links)
• Fuzzy boolean programming problems with fuzzy costs: A general study (Q1367461) (← links)
• Optimization-based approaches to control of probabilistic Boolean networks (Q1662626) (← links)
• Improving the performance of enumerative search methods. I: Exploiting structure and intelligence (Q1892667) (← links)
• Improving the performance of enumerative search methods. II: Computational experiments (Q1905078) (← links)
• An approach to guided learning of Boolean functions (Q1910784) (← links)
• On the minimum number of logical clauses inferred from examples (Q1919787) (← links)
• Predictive control algorithms for congestion management in electric power distribution grids (Q1988693) (← links)
• Mixed logical dynamical modeling of discrete-time hybrid fractional systems (Q2098436) (← links)
• Design of fixed points in Boolean networks using feedback vertex sets and model reduction (Q2325214) (← links)
• Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks (Q2368099) (← links)
• A mixed-integer programming approach to multi-class data classification problem (Q2497276) (← links)
• Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
• Modeling and Predictive Control of Nonlinear Hybrid Systems Using Mixed Logical Dynamical Formalism (Q2977679) (← links)
• Neural logic rule layers (Q6199740) (← links)