Lecture Notes in Computer Science - Principles and Practice of Constraint Programming
Latest Publications

TOTAL DOCUMENTS

64
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642406263, 9783642406270
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Scalable Approximate Model Counter

2013 ◽  
pp. 200-216 ◽  
Author(s):  
Supratik Chakraborty ◽  
Kuldeep S. Meel ◽  
Moshe Y. Vardi
Keyword(s):  
Approximate Model

Parallel Discrepancy-Based Search

2013 ◽  
pp. 30-46 ◽  
Author(s):  
Thierry Moisan ◽  
Jonathan Gaudreault ◽  
Claude-Guy Quimper

Laser Cutting Path Planning Using CP

2013 ◽  
pp. 790-804
Author(s):  
Mikael Z. Lagerkvist ◽  
Martin Nordkvist ◽  
Magnus Rattfeldt
Keyword(s):  
Path Planning ◽  
Laser Cutting ◽  
Cutting Path

Solving String Constraints: The Case for Constraint Programming

2013 ◽  
pp. 381-397 ◽  
Author(s):  
Jun He ◽  
Pierre Flener ◽  
Justin Pearson ◽  
Wei Ming Zhang
Keyword(s):  
Constraint Programming
Load More ...
Sign in / Sign up

Export Citation Format

Share Document