Some Computational Aspects of DISTANCE-SAT - Université d'Artois Access content directly
Journal Articles Journal of Automated Reasoning (JAR) Year : 2006
No file

Dates and versions

hal-03300950 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03300950 , version 1

Cite

Olivier Bailleux, Pierre Marquis. Some Computational Aspects of DISTANCE-SAT. Journal of Automated Reasoning (JAR), 2006, 37 (4), pp.231-260. ⟨hal-03300950⟩
7 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More