18,922 research outputs found
An Enhanced Features Extractor for a Portfolio of Constraint Solvers
Recent research has shown that a single arbitrarily efficient solver can be
significantly outperformed by a portfolio of possibly slower on-average
solvers. The solver selection is usually done by means of (un)supervised
learning techniques which exploit features extracted from the problem
specification. In this paper we present an useful and flexible framework that
is able to extract an extensive set of features from a Constraint
(Satisfaction/Optimization) Problem defined in possibly different modeling
languages: MiniZinc, FlatZinc or XCSP. We also report some empirical results
showing that the performances that can be obtained using these features are
effective and competitive with state of the art CSP portfolio techniques
Recommended from our members
Transformation of propositional calculus statements into integer and mixed integer programs: An approach towards automatic reformulation
A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Progamming (ILP) formulation Mixed Integer Programming (MIP) formulation is presented. An ILP stated as a system of linear constraints involving integer variables and an objective function, provides a powerful representation of decision problems through a tightly interrelated closed system of choices. It supports direct representation of logical (Boolean or prepositional calculus) expressions. Binary variables (hereafter called logical variables) are first introduced and methods of logically connecting these to other variables are then presented. Simple constraints can be combined to construct logical relationships and the methods of formulating these are discussed. A reformulation procedure which uses the extended reverse polish representation of a compound logical form is then described. These reformulation procedures are illustrated by two examples. A scheme of implementation.ithin an LP modelling system is outlined
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
We study rewritability of monadic disjunctive Datalog programs, (the
complements of) MMSNP sentences, and ontology-mediated queries (OMQs) based on
expressive description logics of the ALC family and on conjunctive queries. We
show that rewritability into FO and into monadic Datalog (MDLog) are decidable,
and that rewritability into Datalog is decidable when the original query
satisfies a certain condition related to equality. We establish
2NExpTime-completeness for all studied problems except rewritability into MDLog
for which there remains a gap between 2NExpTime and 3ExpTime. We also analyze
the shape of rewritings, which in the MMSNP case correspond to obstructions,
and give a new construction of canonical Datalog programs that is more
elementary than existing ones and also applies to formulas with free variables
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
Safety critical systems involve the tight coupling between potentially
conflicting control objectives and safety constraints. As a means of creating a
formal framework for controlling systems of this form, and with a view toward
automotive applications, this paper develops a methodology that allows safety
conditions -- expressed as control barrier functions -- to be unified with
performance objectives -- expressed as control Lyapunov functions -- in the
context of real-time optimization-based controllers. Safety conditions are
specified in terms of forward invariance of a set, and are verified via two
novel generalizations of barrier functions; in each case, the existence of a
barrier function satisfying Lyapunov-like conditions implies forward invariance
of the set, and the relationship between these two classes of barrier functions
is characterized. In addition, each of these formulations yields a notion of
control barrier function (CBF), providing inequality constraints in the control
input that, when satisfied, again imply forward invariance of the set. Through
these constructions, CBFs can naturally be unified with control Lyapunov
functions (CLFs) in the context of a quadratic program (QP); this allows for
the achievement of control objectives (represented by CLFs) subject to
conditions on the admissible states of the system (represented by CBFs). The
mediation of safety and performance through a QP is demonstrated on adaptive
cruise control and lane keeping, two automotive control problems that present
both safety and performance considerations coupled with actuator bounds
Chance Constrained Optimization for Targeted Internet Advertising
We introduce a chance constrained optimization model for the fulfillment of
guaranteed display Internet advertising campaigns. The proposed formulation for
the allocation of display inventory takes into account the uncertainty of the
supply of Internet viewers. We discuss and present theoretical and
computational features of the model via Monte Carlo sampling and convex
approximations. Theoretical upper and lower bounds are presented along with a
numerical substantiation
Optimum earth re-entry corridors
Steepest ascent optimization procedure for reentry trajectory of manned aerospace vehicle
- …