Publications
] .
2011. A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice. Synthesis Lectures on Artificial Intelligence and Machine Learning. 5:1–102.
.
2012. Adaptation in a CBR-based solver portfolio for the satisfiability problem. 20th International Conference on Case-Based Reasoning Research and Development. :152-166.
(445.06 KB)
(445.06 KB).
2012. Algorithm Configuration for Portfolio-based Parallel SAT-Solving. Workshop on Combining Constraint solving with Mining and Learning (CoCoMiLe).
.
2012. Analyzing manuscript traditions using constraint-based data mining. Workshop on Combining Constraint solving with Mining and Learning (CoCoMiLe).
.
2012. Bayesian network learning with cutting planes. Computing Research Repository (CoRR). abs/1202.3713
.
2012. Branch and Learn pour l'acquisition de CSP. JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes. :64-73. (461.84 KB)
(461.84 KB).
2012. CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. Computing Research Repository (CoRR). abs/1212.2519
.
2012. Column generation for exact BN learning: Work in progress. Workshop on Combining Constraint solving with Mining and Learning (CoCoMiLe).
.
2012. Constrained Clustering Using SAT. International Symposium on Intelligent Data Analysis. :207-218.
.
2012. Constrained-based Learning for Text Categorization. Workshop on Combining Constraint solving with Mining and Learning (CoCoMiLe).
.
2012. A constraint language for declarative pattern discovery. Symposium on Applied Computing (SAC). :119-125.
.
2012. Deciding membership in a class of polyhedra.. European Conference on Artificial Intelligence.
.
2012. Declarative Pattern Mining using Constraint Programming. :220. (3.85 MB)
(3.85 MB).
2012. DEMON: a local-first discovery method for overlapping communities. 18th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD'12). :615-623. (2.13 MB)
(2.13 MB).
2012. Discovering the Geographical Borders of Human Mobility. Künstliche Intelligenz. 26(3):253-260. (1.16 MB)
(1.16 MB).
2012. An Efficiently Learnable Constructive Method for Graphs. Workshop on Combining Constraint solving with Mining and Learning (CoCoMiLe).
.
2012. Influence and Aggregation of Preferences over Combinatorial Domains. Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 3:1313–1314.
.
2012. Labels vs. Pairwise Constraints: A Unified View of Label Propagation and Constrained Spectral Clustering. International Conference on Data Mining (ICDM). :1146–1151.
.
2012. Learning-to-rank with Prior Knowledge as Global Constraints. Workshop on Combining Constraint solving with Mining and Learning (CoCoMiLe).
.
2012. A MILP Formulation for Setwise Max-Margin Learning. Workshop on Combining Constraint solving with Mining and Learning (CoCoMiLe).
.
2012. Mining Local Staircase Patterns in Noisy Data. International Conference on Data Mining Workshops. (1.72 MB)
(1.72 MB).
2012. A Model Seeker: Extracting Global Constraint Models From Positive Examples. 18th International Conference on Principles and Practice of Constraint Programming (CP'12). LNCS 7514:141-157. (240.09 KB)
(240.09 KB).
2012. Parallel SAT Solver Selection and Scheduling. Principles and Practice of Constraint Programming. (344.8 KB)
(344.8 KB).
2012. Programming by Optimization. Communications of the ACM. 55:70–80.
.
2012. A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.. European Conference on Artificial Intelligence (ECAI). :258–263.