Belaid Benhamou
According to our database1,
Belaid Benhamou
authored at least 68 papers
between 1992 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
CoRR, February, 2025
2024
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.
CoRR, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells.
Ann. Math. Artif. Intell., October, 2023
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding.
Theor. Comput. Sci., September, 2023
Bioinform., 2023
Bi-objective Resolution of the Single-machine Scheduling Problem with Availability and Human Operators.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
2022
Exact and metaheuristic approaches for the single-machine scheduling problem with flexible maintenance under human resource constraints.
Int. J. Manuf. Res., 2022
Comput. Intell., 2022
Evolutionary Iterated Local Search meta-heuristic for the antenna positioning problem in cellular networks.
Comput. Intell., 2022
A Constraint Programming Model for the Scheduling Problem with Flexible Maintenance under Human Resource Constraints.
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.
Proceedings of the Computational Methods in Systems Biology, 2022
Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces.
Proceedings of the BCB '22: 13th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, Northbrook, Illinois, USA, August 7, 2022
2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020
2019
Three Local Search Meta-Heuristics for the Minimum Interference Frequency Assignment Problem (MI-FAP) in Cellular Networks.
Int. J. Appl. Metaheuristic Comput., 2019
Intell. Decis. Technol., 2019
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
An Integrated Guided Local Search considering Human Resource Constraints for the Single-machine Scheduling problem with Preventive Maintenance.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
2018
Breakout variable neighbourhood search for the minimum interference frequency assignment problem.
J. Syst. Inf. Technol., 2018
Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018
An effective heuristic for the single-machine scheduling problem with flexible maintenance under human resource constraints.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
2017
A hybridization of genetic algorithms and fuzzy logic for the single-machine scheduling with flexible maintenance problem under human resource constraints.
Appl. Soft Comput., 2017
Ann. Math. Artif. Intell., 2017
A Fuzzy Genetic Algorithm for Single-Machine Scheduling and Flexible Maintenance Planning Integration under Human Resource Constraints.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
Harmony Search Based Algorithms for the Minimum Interference Frequency Assignment Problem.
Proceedings of the Harmony Search Algorithm, 2017
2014
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014
Proceedings of the KDIR 2014 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Rome, Italy, 21, 2014
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014
2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
2012
J. Autom. Reason., 2012
A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
2010
Local Search Methods for the Optimal Winner Determination Problem in Combinatorial Auctions.
J. Math. Model. Algorithms, 2010
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
2009
2008
J. Math. Model. Algorithms, 2008
Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions.
Proceedings of the Principles and Practice of Constraint Programming, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Local Search-based Method for Restoring Disjunctive Temporal Problem Consistency.
Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007
IGA: an Improved Genetic Algorithm for MAX-SAT Problems.
Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007
Detecting and Eliminating Local Symmetry During Search in CSPs.
Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
2006
J. Autom. Reason., 2006
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Artificial Intelligence: Methodology, 2006
2005
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005
2004
Geographic Information Revision Based on Constraints.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004
2002
Proceedings of the Automated Deduction, 2002
2001
Etude des symétries dans les modèles finis.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001
2000
Proceedings of the Automated Deduction, 2000
1999
Fundam. Informaticae, 1999
1998
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998
Proceedings of the Artificial Intelligence: Methodology, 1998
1994
Proceedings of the STACS 94, 1994
1992
Proceedings of the Automated Deduction, 1992