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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

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

10.1007/978-3-030-58475-7_49 ◽

2020 ◽

pp. 846-867

Author(s):

Alexey Ignatiev ◽

Martin C. Cooper ◽

Mohamed Siala ◽

Emmanuel Hebrard ◽

Joao Marques-Silva

Keyword(s):

Machine Learning

Download Full-text

Exact Approaches to the Multi-agent Collective Construction Problem

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

10.1007/978-3-030-58475-7_43 ◽

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

Download Full-text

Solving Satisfaction Problems Using Large-Neighbourhood Search

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

10.1007/978-3-030-58475-7_4 ◽

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

Download Full-text

Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry

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

10.1007/978-3-030-58475-7_40 ◽

2020 ◽

pp. 690-706

Author(s):

Yannick Carissan ◽

Denis Hagebaum-Reignier ◽

Nicolas Prcovic ◽

Cyril Terrioux ◽

Adrien Varet

Keyword(s):

Constraint Programming ◽

Theoretical Chemistry

Download Full-text

Effective Encodings of Constraint Programming Models to SMT

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

10.1007/978-3-030-58475-7_9 ◽

2020 ◽

pp. 143-159

Author(s):

Ewan Davidson ◽

Özgür Akgün ◽

Joan Espasa ◽

Peter Nightingale

Keyword(s):

Constraint Programming ◽

Programming Models

Download Full-text

Generating Random Logic Programs Using Constraint Programming

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

10.1007/978-3-030-58475-7_48 ◽

2020 ◽

pp. 828-845 ◽

Cited By ~ 1

Author(s):

Paulius Dilkas ◽

Vaishak Belle

Keyword(s):

Constraint Programming ◽

Logic Programs

Download Full-text

Strengthening Neighbourhood Substitution

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

10.1007/978-3-030-58475-7_8 ◽

2020 ◽

pp. 126-142

Author(s):

Martin C. Cooper

Download Full-text

A Faster Exact Algorithm to Count X3SAT Solutions

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

10.1007/978-3-030-58475-7_22 ◽

2020 ◽

pp. 375-391

Author(s):

Gordon Hoi ◽

Sanjay Jain ◽

Frank Stephan

Keyword(s):

Exact Algorithm

Download Full-text

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

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

10.1007/978-3-030-58475-7_13 ◽

2020 ◽

pp. 211-230

Author(s):

Jeffrey M. Dudek ◽

Vu H. N. Phan ◽

Moshe Y. Vardi

Keyword(s):

Dynamic Programming ◽

Model Counting ◽

Weighted Model

Download Full-text

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions

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

10.1007/978-3-030-58475-7_50 ◽

2020 ◽

pp. 868-884

Author(s):

Marko Kleine Büning ◽

Philipp Kern ◽

Carsten Sinz

Keyword(s):

Neural Networks ◽

Activation Functions

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Towards Formal Fairness in Machine Learning

Exact Approaches to the Multi-agent Collective Construction Problem

Solving Satisfaction Problems Using Large-Neighbourhood Search

Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry

Effective Encodings of Constraint Programming Models to SMT

Generating Random Logic Programs Using Constraint Programming

Strengthening Neighbourhood Substitution

A Faster Exact Algorithm to Count X3SAT Solutions

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

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions

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