Search Sciweavers | Sciweavers

7092 search results - page 115 / 1419

» Parallelizing constraint programs

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

14 years 1 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

14 years 1 months ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

click to vote

CP
1999
Springer

85views Artificial Intelligence» more CP 1999»

Operational Equivalence of CHR Programs and Constraints

14 years 1 months ago

Download met.guc.edu.eg

Slim Abdennadher, Thom W. Frühwirth

claim paper

Read More »

click to vote

DATE
1997
IEEE

58views Hardware» more DATE 1997»

Interface timing verification with delay correlation using constraint logic programming

14 years 1 months ago

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

click to vote

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

On Termination of Constraint Logic Programs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers