CONSTRAINTS
2016
8 years 7 months ago
2016
Constrained sampling and counting are two fundamental problems arising in domains ranging from artificial intelligence and security, to hardware and software testing. Recent appro...
CONSTRAINTS
2016
8 years 7 months ago
2016
CONSTRAINTS
2016
8 years 7 months ago
2016
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...
CONSTRAINTS
2016
8 years 7 months ago
2016
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...
CONSTRAINTS
2016
8 years 7 months ago
2016
CONSTRAINTS
2016
8 years 7 months ago
2016
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...
CONSTRAINTS
2016
8 years 7 months ago
2016
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 ...