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

TOTAL DOCUMENTS

71
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642335570, 9783642335587
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Refining Restarts Strategies for SAT and UNSAT

2012 ◽  
pp. 118-126 ◽  
Author(s):  
Gilles Audemard ◽  
Laurent Simon

Parallel SAT Solver Selection and Scheduling

2012 ◽  
pp. 512-526 ◽  
Author(s):  
Yuri Malitsky ◽  
Ashish Sabharwal ◽  
Horst Samulowitz ◽  
Meinolf Sellmann
Keyword(s):  
Sat Solver

scholarly journals Time-Dependent Simple Temporal Networks

2012 ◽  
pp. 608-623 ◽  
Author(s):  
Cédric Pralet ◽  
Gérard Verfaillie
Keyword(s):  
Time Dependent ◽  
Temporal Networks ◽  
Simple Temporal Networks

scholarly journals Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle

2012 ◽  
pp. 373-389 ◽  
Author(s):  
Arnaud Lallouet ◽  
Jimmy H. M. Lee ◽  
Terrence W. K. Mak
Keyword(s):  
Weak Solutions ◽  
Duality Principle

scholarly journals Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains

2012 ◽  
pp. 973-987 ◽  
Author(s):  
Jérôme Lang ◽  
Jérôme Mengin ◽  
Lirong Xia
Keyword(s):  
Lexicographic Preferences
Load More ...
Sign in / Sign up

Export Citation Format

Share Document