Sciweavers

CEC
2008
IEEE

Analysis and extension of the Inc* on the satisfiability testing problem

14 years 2 months ago
Analysis and extension of the Inc* on the satisfiability testing problem
Mohamed Bahy Bader-El-Den, Riccardo Poli
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CEC
Authors Mohamed Bahy Bader-El-Den, Riccardo Poli
Comments (0)