Local and global symmetry breaking in itemset mining von Benhamou, Belaïd

Volltext

An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks von Khaled, Tarek, Benhamou, Belaïd

Volltext

Breakout variable neighbourhood search for the minimum interference frequency assignment problem von Lahsinat, Yasmine, Boughaci, Dalila, Benhamou, Belaid

Volltext

A memetic algorithm for the optimal winner determination problem von Boughaci, Dalila, Benhamou, Belaïd, Drias, Habiba

Volltext

An effective heuristic for the single-machine scheduling problem with flexible maintenance under human resource constraints von Touat, Meriem, Tayeb, Fatima Benbouzid-Si, Benhamou, Belaid

Volltext

Dealing with Satisfiability and n-ary CSPs in a Logical Framework von Benhamou, Belaïd, Paris, Lionel, Siegel, Pierre

Volltext

Dynamic Symmetry Breaking in Itemset Mining von Benhamou, Belaïd

Volltext

Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding von Trinh, Van-Giang, Benhamou, Belaid, Soliman, Sylvain

Volltext

Dealing with Biology Systems in the Framework of Answer Set Programming von Khaled, Tarek, Benhamou, Belaid

Volltext

A synergy Thompson sampling hyper‐heuristic for the feature selection problem von Lassouaoui, Mourad, Boughaci, Dalila, Benhamou, Belaid

Volltext

Experimental and numerical study of mixed convection heat and mass transfer in a vertical channel with film evaporation von Cherif, A.S., Kassim, M.A., Benhamou, B., Harmand, S., Corriou, J.P., Ben Jabrallah, S.

Volltext

Dynamic and Static Symmetry Breaking in Answer Set Programming von Benhamou, Belaïd

Volltext

Evolutionary Iterated Local Search meta‐heuristic for the antenna positioning problem in cellular networks von Benmezal, Larbi, Benhamou, Belaid, Boughaci, Dalila

Volltext

A hybridization of genetic algorithms and fuzzy logic for the single-machine scheduling with flexible maintenance problem under human resource constraints von Touat, Meriem, Bouzidi-Hassini, Sabrina, Benbouzid-Sitayeb, Fatima, Benhamou, Belaid

Volltext

Trap spaces of multi-valued networks: definition, computation, and applications von Trinh, Van-Giang, Benhamou, Belaid, Henzinger, Thomas, Pastva, Samuel

Volltext

A Boolean Encoding Including SAT and n-ary CSPs von Paris, Lionel, Benhamou, Belaïd, Siegel, Pierre

Volltext

Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells von Khaled, Tarek, Benhamou, Belaid, Trinh, Van-Giang

Volltext

Reasoning by Dominance in Not-Equals Binary Constraint Networks von Benhamou, Belaïd, Saïdi, Mohamed Réda

Volltext

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings von Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Volltext

An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks von Khaled, Tarek, Benhamou, Belaïd

Volltext