Search Sciweavers | Sciweavers

13841 search results - page 156 / 2769

» Algorithms and Constraint Programming

200

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 10 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

216

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 10 months ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

122

click to vote

CP
1999
Springer

85views Artificial Intelligence» more CP 1999»

Operational Equivalence of CHR Programs and Constraints

15 years 10 months ago

Download met.guc.edu.eg

Slim Abdennadher, Thom W. Frühwirth

claim paper

Read More »

106

click to vote

DATE
1997
IEEE

58views Hardware» more DATE 1997»

Interface timing verification with delay correlation using constraint logic programming

15 years 10 months ago

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

126

click to vote

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

On Termination of Constraint Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers