Search Sciweavers | Sciweavers

1749 search results - page 21 / 350

» Logic, Optimization, and Constraint Programming

162

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 1 months ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

153

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

16 years 1 months ago

Download www.brown.edu

Alessandro Dal Palù, Enrico Pontelli, Jing ...

claim paper

Read More »

176

Voted

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

16 years 1 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

165

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

15 years 12 months ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

226

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers