( en | de | ru )

 

Disambiguation of "Benhamou, Belaid"

Author of the publication

copydeleteadd this publication to your clipboard
Etude des symétries dans les modèles finis.

, and . JFPLC, page 109-122. Hermes, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sonia Belaïd

Abdulmonem Belaid

Belaid Allouss

Belaid Saad

Djamel Belaïd

 

Other publications of authors with the same name

AVAL: An Enumerative Method for SAT., , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 373-383. Springer, (2000)Dynamic and Static Symmetry Breaking in Answer Set Programming.. LPAR, volume 8312 of Lecture Notes in Computer Science, page 112-126. Springer, (2013)Two Proof Procedures for a Cardinality Based Language in Propositional Calculus., , and . STACS, volume 775 of Lecture Notes in Computer Science, page 71-82. Springer, (1994)An Integrated Guided Local Search considering Human Resource Constraints for the Single-machine Scheduling problem with Preventive Maintenance., , , , , and . SMC, page 3799-3804. IEEE, (2019)Dealing with Biology Systems in the Framework of Answer Set Programming., and . KES, volume 176 of Procedia Computer Science, page 450-459. Elsevier, (2020)A Constraint Programming Model for the Scheduling Problem with Flexible Maintenance under Human Resource Constraints., , and . ICAART (3), page 195-202. SCITEPRESS, (2022)Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming., , and . CP, volume 280 of LIPIcs, page 35:1-35:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding., , , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 158-176. Springer, (2022)A Distributed Firewall using Autonomous Agents., , , , and . DepCoS-RELCOMEX, page 256-263. IEEE Computer Society, (2006)Reasoning by Symmetry and Function Ordering in Finite Model Generation., and . CADE, volume 2392 of Lecture Notes in Computer Science, page 226-240. Springer, (2002)