Combination of decomposability and propagation for solving first-order constraints in decomposable theories. - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Combination of decomposability and propagation for solving first-order constraints in decomposable theories.

No file

Dates and versions

hal-00460817 , version 1 (02-03-2010)

Identifiers

  • HAL Id : hal-00460817 , version 1

Cite

Khalil Djelloul. Combination of decomposability and propagation for solving first-order constraints in decomposable theories.. ACM Symposium on Applied computing, Mar 2008, France. pp.1728-1732. ⟨hal-00460817⟩
32 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More