Some Computational Aspects of DISTANCE-SAT - Archive ouverte HAL Access content directly
Journal Articles Journal of Automated Reasoning (JAR) Year : 2006

Some Computational Aspects of DISTANCE-SAT

(1) , (2)
1
2
Not 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 Facebook Twitter LinkedIn More