Search Sciweavers | Sciweavers

2725 search results - page 33 / 545

» Constraint Solving for Interpolation

133

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

16 years 29 days ago

Download www.aaai.org

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

claim paper

Read More »

122

click to vote

GLVLSI
2007
IEEE

177views VLSI» more GLVLSI 2007»

Improvements for constraint solving in the systemc verification library

16 years 27 days ago

Download www.informatik.uni-bremen.de

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

claim paper

Read More »

113

click to vote

APSEC
2005
IEEE

100views Software Engineering» more APSEC 2005»

Data Abstraction and Constraint Solving for Conformance Testing

16 years 5 days 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

16 years 3 days ago

Download research.nii.ac.jp

Hiroshi Hosobe

claim paper

Read More »

126

click to vote

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

16 years 21 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers