Search Sciweavers | Sciweavers

2050 search results - page 9 / 410

» constraints 2010

130

click to vote

FLOPS
2010
Springer

312views Automated Reasoning» more FLOPS 2010»

Haskell Type Constraints Unleashed

16 years 18 days ago

Download www.cl.cam.ac.uk

Dominic A. Orchard, Tom Schrijvers

claim paper

Read More »

121

click to vote

CPAIOR
2010
Springer

164views Operations Research» more CPAIOR 2010»

Consistency Check for the Bin Packing Constraint Revisited

15 years 10 months ago

Download www.info.ucl.ac.be

Julien Dupuis, Pierre Schaus, Yves Deville

claim paper

Read More »

126

click to vote

CPM
2010
Springer

119views Combinatorics» more CPM 2010»

Phylogeny- and Parsimony-Based Haplotype Inference with Constraints

15 years 10 months ago

Download cs.nyu.edu

Michael Elberfeld, Till Tantau

claim paper

Read More »

189

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 »

114

click to vote

ICLP
2010
Springer

99views Automated Reasoning» more ICLP 2010»

Local Branching in a Constraint Programming Framework

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers