Constraint Programming and Hybrid Methods - John Hooker |
|
Checking Up on Branch-and-Check abstract |
|
- J. Christopher Beck, University of Toronto |
| |
|
Linearization of Global Constraints abstract |
|
- Meinolf Sellmann, Brown University |
| |
|
A Polyhedral Study of the Alldifferent System abstract |
|
- Dimitris Magos, Technological Educational Institute of Athens |
| |
|
A Polyhedral Study of the Cumulative Constraint abstract |
|
- Tallys Yunes, University of Miami |
|
Boolean and Pseudo-Boolean Functions
- Endre Boros and Yves Crama
Dedicated to the memory of Peter L. Hammer
|
Session 1 |
|
Exploiting regularity in learning abstract |
|
- Martin Anthony |
| |
|
Coverable functions: definitions and properties abstract |
|
- Ondrej Cepek |
| |
|
Coverable functions: hardness results abstract |
|
- Petr Kucera |
| |
|
Learning Random DNF over the Uniform Distribution
abstract |
|
- Linda Sellie |
|
Session 2 |
|
Ubiquitous Monotone and Almost-Monotone Boolean Functions in Systems Biology abstract |
|
- Utz-Uwe Haus |
| |
|
Solving Scheduling Problems with Binary Decision Diagrams abstract |
|
- John N. Hooker |
| |
|
Complexity results of linear XSAT problems abstract |
|
- Stefan Porschen |
| |
|
On Evolvability: The Swapping Algorithm, Product Distributions, and Covariance abstract |
|
- Dimitris Diochnos |
|
|
Session 3 |
|
Cones of non-negative quadratic pseudo-Boolean functions abstract |
|
- Endre Boros |
| |
|
Black-Box Methods for Constrained Quadratic 0--1 Optimization abstract |
|
- F. Liers |
| |
|
A Geometric Bridge from Convex Polytopes to Threshold Logic abstract |
|
- M. Reza Emamy-K. |
| |
|
A Combinatorial Algorithm for the Threshold Recognition Problem abstract |
|
- Jan-Georg Smaus |
| |
|
|
Data Clustering for Bio-informatics
- Raj Bhatnagar
|
|
Prior Information Based Bayesian Infinite Mixture Model
paper |
|
- Zhen Hu, Siva Sivaganesan, Mario Medvedovic |
| |
|
Simultaneous Search in Multiple Lattices for Knowledge Discovery -- |
|
- Mrunal Deshmukh, Raj Bhatnagar, and Anil Jegga |
| |
|
Identifying Transcriptional Modules using Subspace Clustering
abstract |
|
- Amit Sinha |
| |
|
Model Quality Assessment in Membrane Proteins Using predicted Lipid Accessibility Profiles paper |
|
- Mukta Phatak and Jaroslaw Meller |
| |
|