64 citations · 301 across the 16 of their papers we have counts for
10 papers · 1 filter
Data Obsolescence Detection in the Light of Newly Acquired Valid Observations
Salma Chaieb, Brahim Hnich, Ali Ben Mrad
The information describing the conditions of a system or a person is constantly evolving and may become obsolete and contradict other information. A database, therefore, must be co…
A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan +2
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix Models" by Flener et al. (https://link.springer.com/chapter/10.1007%2F3-540-46135-3_31) describes some of t…
Conjure Revisited: Towards Automated Constraint Modelling
Ozgur Akgun, Alan M. Frisch, Brahim Hnich +2
Automating the constraint modelling process is one of the key challenges facing the constraints field, and one of the principal obstacles preventing widespread adoption of constrai…
Dual Modelling of Permutation and Injection Problems
B. Hnich, B. M. Smith, T. Walsh
When writing a constraint program, we have to choose which variables should be the decision variables, and how to represent the constraints on these variables. In many cases, there…
Multiset Ordering Constraints
Alan M. Frisch, Ian Miguel, Zeynep Kiziltan +2
We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered.…
The Complexity of Reasoning with Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich +1
Constraint propagation is one of the techniques central to the success of constraint programming. To reduce search, fast algorithms associated with each constraint prune the domain…