Search Sciweavers | Sciweavers

13841 search results - page 156 / 2769

» Algorithms and Constraint Programming

167

Voted

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 9 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

186

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 9 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

15 years 9 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

15 years 9 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers