Search Sciweavers | Sciweavers

2725 search results - page 34 / 545

» Constraint Solving for Interpolation

158

click to vote

WSTST
2005
Springer

225views Applied Computing» more WSTST 2005»

Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems

15 years 11 months ago

Download kussharo.complex.eng.hokudai.ac.jp

Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura

claim paper

Read More »

106

click to vote

CP
2003
Springer

69views Artificial Intelligence» more CP 2003»

Solving 'Still Life' with Soft Constraints and Bucket Elimination

15 years 10 months ago

Download personals.ac.upc.edu

Javier Larrosa, Enric Morancho

claim paper

Read More »

135

Voted

DATE
2002
IEEE

105views Hardware» more DATE 2002»

Functional Verification for SystemC Descriptions Using Constraint Solving

15 years 10 months ago

Download www.scarpaz.com

Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...

claim paper

Read More »

135

Voted

ICLP
2001
Springer

87views Automated Reasoning» more ICLP 2001»

Solving the Multiplication Constraint in Several Approximation Spaces

15 years 10 months ago

Download alain.colmerauer.free.fr

Alain Colmerauer

claim paper

Read More »

112

click to vote

CCL
1999
Springer

226views Automated Reasoning» more CCL 1999»

Constraint Solving on Terms

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers