Search Sciweavers | Sciweavers

2864 search results - page 73 / 573

» Constraint Programming in OPL

click to vote

ECAI
2000
Springer

91views Artificial Intelligence» more ECAI 2000»

Symmetry Breaking in Constraint Programming

15 years 10 months ago

Download www.comp.leeds.ac.uk

Ian P. Gent, Barbara M. Smith

claim paper

Read More »

191

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 »

209

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 »

113

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 »

101

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers