SUN : a Multistrategy Platform for SAT - Université d'Artois Access content directly
Conference Papers Year : 1996

SUN : a Multistrategy Platform for SAT

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-03300533 , version 1

Cite

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. SUN : a Multistrategy Platform for SAT. Proc. First Int. Competition and Symposium on Satisfiability Testing, 1996, Beijing, Unknown Region. ⟨hal-03300533⟩
7 View
0 Download

Share

Gmail Facebook X LinkedIn More