Period of time： 2014年1期
Publisher： Springer Publishing Company
Founded in： 1996
Total resources： 17
ISSN： 1383-7133
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Constraints,volume 18,issue 1
Menu
On the reification of global constraints
By Beldiceanu Nicolas in (2013)
Constraints,volume 18,issue 1 , Vol. 18, Iss. 1, 2013-01 , pp.
Access to resources
Recommend
On the hardness of solving edge matching puzzles as SAT or CSP problems
Constraints,volume 18,issue 1 , Vol. 18, Iss. 1, 2013-01 , pp.Structural tractability of enumerating CSP solutions
Constraints,volume 18,issue 1 , Vol. 18, Iss. 1, 2013-01 , pp.View-based propagator derivation
By Schulte Christian in (2013)
Constraints,volume 18,issue 1 , Vol. 18, Iss. 1, 2013-01 , pp.On matrices, automata, and double counting in constraint programming
By Beldiceanu Nicolas in (2013)
Constraints,volume 18,issue 1 , Vol. 18, Iss. 1, 2013-01 , pp.