Sciweavers

15777 search results - page 306 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
KBSE
2003
IEEE
16 years 9 hour ago
A Pragmatic Study of Binary Class Relationships
Yann-Gaël Guéhéneuc, Herv&eacut...
125
Voted
KBSE
2003
IEEE
16 years 9 hour ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
QSIC
2003
IEEE
16 years 7 hour ago
Verifying CIM Models of Apache Web-Server Configurations
Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...