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

TOTAL DOCUMENTS

55
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030584740, 9783030584757
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Formal Fairness in Machine Learning

2020 ◽  
pp. 846-867
Author(s):  
Alexey Ignatiev ◽  
Martin C. Cooper ◽  
Mohamed Siala ◽  
Emmanuel Hebrard ◽  
Joao Marques-Silva
Keyword(s):  
Machine Learning

Exact Approaches to the Multi-agent Collective Construction Problem

2020 ◽  
pp. 743-758
Author(s):  
Edward Lam ◽  
Peter J. Stuckey ◽  
Sven Koenig ◽  
T. K. Satish Kumar
Keyword(s):  
Construction Problem ◽  
Multi Agent ◽  
Collective Construction

Solving Satisfaction Problems Using Large-Neighbourhood Search

2020 ◽  
pp. 55-71
Author(s):  
Gustav Björdal ◽  
Pierre Flener ◽  
Justin Pearson ◽  
Peter J. Stuckey ◽  
Guido Tack
Keyword(s):  
Neighbourhood Search ◽  
Large Neighbourhood ◽  
Large Neighbourhood Search

scholarly journals Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry

2020 ◽  
pp. 690-706
Author(s):  
Yannick Carissan ◽  
Denis Hagebaum-Reignier ◽  
Nicolas Prcovic ◽  
Cyril Terrioux ◽  
Adrien Varet
Keyword(s):  
Constraint Programming ◽  
Theoretical Chemistry

scholarly journals Effective Encodings of Constraint Programming Models to SMT

2020 ◽  
pp. 143-159
Author(s):  
Ewan Davidson ◽  
Özgür Akgün ◽  
Joan Espasa ◽  
Peter Nightingale
Keyword(s):  
Constraint Programming ◽  
Programming Models

scholarly journals A Faster Exact Algorithm to Count X3SAT Solutions

2020 ◽  
pp. 375-391
Author(s):  
Gordon Hoi ◽  
Sanjay Jain ◽  
Frank Stephan
Keyword(s):  
Exact Algorithm

scholarly journals DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees

2020 ◽  
pp. 211-230
Author(s):  
Jeffrey M. Dudek ◽  
Vu H. N. Phan ◽  
Moshe Y. Vardi
Keyword(s):  
Dynamic Programming ◽  
Model Counting ◽  
Weighted Model

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions

2020 ◽  
pp. 868-884
Author(s):  
Marko Kleine Büning ◽  
Philipp Kern ◽  
Carsten Sinz
Keyword(s):  
Neural Networks ◽  
Activation Functions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document