Author of the publication

Two Revision Methods Based on Constraints: Application to a Flooding Problem.

, and . AISC, volume 3249 of Lecture Notes in Computer Science, page 265-270. Springer, (2004)

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.

 

Other publications of authors with the same name

Finite Model Search for Equational Theories (FMSET)., and . AISC, volume 1476 of Lecture Notes in Computer Science, page 84-93. Springer, (1998)Two Revision Methods Based on Constraints: Application to a Flooding Problem., and . AISC, volume 3249 of Lecture Notes in Computer Science, page 265-270. Springer, (2004)Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions., , and . CP, volume 5202 of Lecture Notes in Computer Science, page 593-597. Springer, (2008)Local and global symmetry breaking in itemset mining.. Ann. Math. Artif. Intell., 80 (1): 91-112 (2017)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)Tractability Through Symmetries in Propositional Calculus., and . J. Autom. Reason., 12 (1): 89-102 (1994)mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks., , and . CoRR, (2024)A synergy Thompson sampling hyper-heuristic for the feature selection problem., , and . Comput. Intell., 38 (3): 1083-1105 (2022)Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces., , and . BCB, page 13:1-13:10. ACM, (2022)Consistent Neighborhood for the Satisfiability Problem., , and . ICTAI (2), page 497-501. IEEE Computer Society, (2007)0-7695-3015-X.