Sciweavers

Share
CONSTRAINTS
2016
91views more  CONSTRAINTS 2016»
3 years 11 months ago
On computing minimal independent support and its applications to sampling and counting
Constrained sampling and counting are two fundamental problems arising in domains ranging from artificial intelligence and security, to hardware and software testing. Recent appro...
Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Mo...
CONSTRAINTS
2016
114views more  CONSTRAINTS 2016»
3 years 11 months ago
Balancing bike sharing systems with constraint programming
Luca Di Gaspero, Andrea Rendl, Tommaso Urli
CONSTRAINTS
2016
92views more  CONSTRAINTS 2016»
3 years 11 months ago
Structural decompositions for problems with global constraints
A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either b...
Evgenij Thorstensen
CONSTRAINTS
2016
94views more  CONSTRAINTS 2016»
3 years 11 months ago
Fleet design optimisation from historical data using constraint programming and large neighbourhood search
Abstract We present an original approach to compute efficient mid-term fleet configurations, at the request of a Queensland-based long-haul trucking carrier. Our approach conside...
Philip Kilby, Tommaso Urli
CONSTRAINTS
2016
92views more  CONSTRAINTS 2016»
3 years 11 months ago
Fast, flexible MUS enumeration
Mark H. Liffiton, Alessandro Previti, Ammar Malik,...
CONSTRAINTS
2016
105views more  CONSTRAINTS 2016»
3 years 11 months ago
Projection, consistency, and George Boole
Although best known for his work in symbolic logic, George Boole made seminal contributions in the logic of probabilities. He solved the probabilistic inference problem with a proj...
John N. Hooker
CONSTRAINTS
2016
122views more  CONSTRAINTS 2016»
3 years 11 months ago
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
Abstract Petri nets are a simple formalism for modeling concurrent computation. They are also an interesting tool for modeling and analysing biochemical reaction systems, bridging ...
Faten Nabli, Thierry Martinez, François Fag...
books