Search Sciweavers | Sciweavers

2050 search results - page 22 / 410

» constraints 2010

click to vote

EJC
2010

126views Information Technology» more EJC 2010»

A combinatorial constraint satisfaction problem dichotomy classification conjecture

14 years 9 months ago

Download www.math.u-szeged.hu

We further generalise a construction

Jaroslav Nesetril, Mark H. Siggers, Lászl&o...

claim paper

Read More »

click to vote

CORR
2010
Springer

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

14 years 7 months ago

Download www.cs.unicam.it

Marcello M. Bersani, Achille Frigeri, Angelo Morze...

claim paper

Read More »

click to vote

IWPEC
2010
Springer

210views Applied Computing» more IWPEC 2010»

Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming

14 years 7 months ago

Download www.kr.tuwien.ac.at

Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah...

claim paper

Read More »

click to vote

ICTAI
2010
IEEE

233views Artificial Intelligence» more ICTAI 2010»

Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving

14 years 6 months ago

Download www.sci.brooklyn.cuny.edu

The abstract goes here.

Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato

claim paper

Read More »

click to vote

ISSE
2010

89views Security Privacy» more ISSE 2010»

Randomized constraint solvers: a comparative study

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers