Search Sciweavers | Sciweavers

2725 search results - page 34 / 545

» Constraint Solving for Interpolation

click to vote

WSTST
2005
Springer

225views Applied Computing» more WSTST 2005»

Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems

14 years 3 months ago

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

Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura

claim paper

Read More »

click to vote

CP
2003
Springer

69views Artificial Intelligence» more CP 2003»

Solving 'Still Life' with Soft Constraints and Bucket Elimination

14 years 3 months ago

Download personals.ac.upc.edu

Javier Larrosa, Enric Morancho

claim paper

Read More »

click to vote

DATE
2002
IEEE

105views Hardware» more DATE 2002»

Functional Verification for SystemC Descriptions Using Constraint Solving

14 years 2 months ago

Download www.scarpaz.com

Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...

claim paper

Read More »

click to vote

ICLP
2001
Springer

87views Automated Reasoning» more ICLP 2001»

Solving the Multiplication Constraint in Several Approximation Spaces

14 years 2 months ago

Download alain.colmerauer.free.fr

Alain Colmerauer

claim paper

Read More »

click to vote

CCL
1999
Springer

226views Automated Reasoning» more CCL 1999»

Constraint Solving on Terms

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers