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

Khalil Djelloul

Conference Papers Year : 2008

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

(1)

1

Khalil Djelloul

Function : Author
PersonId : 845747

Laboratoire d'Informatique Fondamentale d'Orléans

Domains

Logic in Computer Science [cs.LO]

Khalil Djelloul : Connect in order to contact the contributor

https://hal.science/hal-00460817

Submitted on : Tuesday, March 2, 2010-3:42:02 PM

Last modification on : Saturday, June 25, 2022-10:11:01 AM

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share