Search Sciweavers | Sciweavers

2725 search results - page 33 / 545

» Constraint Solving for Interpolation

122

click to vote

ICTAI
2008
IEEE

95views Artificial Intelligence» more ICTAI 2008»

Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems

15 years 12 months ago

Download www.aaai.org

Samba Ndiaye, Philippe Jégou, Cyril Terriou...

claim paper

Read More »

112

click to vote

GLVLSI
2007
IEEE

177views VLSI» more GLVLSI 2007»

Improvements for constraint solving in the systemc verification library

15 years 12 months ago

Download www.informatik.uni-bremen.de

Daniel Große, Rüdiger Ebendt, Rolf Drec...

claim paper

Read More »

103

Voted

APSEC
2005
IEEE

100views Software Engineering» more APSEC 2005»

Data Abstraction and Constraint Solving for Conformance Testing

15 years 11 months ago

Download www.win.tue.nl

Jens R. Calame, Natalia Ioustinova, Jaco van de Po...

claim paper

Read More »

click to vote

SAC
2005
ACM

90views Applied Computing» more SAC 2005»

Solving linear and one-way constraints for web document layout

15 years 11 months ago

Download research.nii.ac.jp

Hiroshi Hosobe

claim paper

Read More »

112

click to vote

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers