2015
DOI: 10.1007/978-3-319-18008-3_28
|View full text |Cite
|
Sign up to set email alerts
|

Learning General Constraints in CSP

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
7
0

Year Published

2016
2016
2021
2021

Publication Types

Select...
5
2
2

Relationship

0
9

Authors

Journals

citations
Cited by 9 publications
(7 citation statements)
references
References 14 publications
0
7
0
Order By: Relevance
“…In the case of parallel portfolio solvers, a subset of solvers is run in parallel until a solution is found or, if the optimal solution is wanted, it can exchange information about intermediate solutions found during the search, e.g., sharing the best found objective bound [49]. Popular portfolio solvers include SATZilla [28], CPHydra [29], Sunny-CP [50], or HaifaCSP [51].…”
Section: Algorithm Selection and Configurationmentioning
confidence: 99%
“…In the case of parallel portfolio solvers, a subset of solvers is run in parallel until a solution is found or, if the optimal solution is wanted, it can exchange information about intermediate solutions found during the search, e.g., sharing the best found objective bound [49]. Popular portfolio solvers include SATZilla [28], CPHydra [29], Sunny-CP [50], or HaifaCSP [51].…”
Section: Algorithm Selection and Configurationmentioning
confidence: 99%
“…As aforementioned, a great deal of research on signed logic has been conducted in satisfiability solving, logic programming and constraint solving, but signed logic and its variants have also been handled, during the last twenty years, in many aproximate reasoning scenarios such as model-based diagnosis [49], signed optimization [8], signed randomiation [17], combining signed logic and linear integer arithmetic [7], learning in CSP [98], comparing resolution proofs and CDCL-with-restarts [82], regular belief merging [36], in the formalization of a recent real-world multivalued-logic [47] and more.…”
Section: General Presentationmentioning
confidence: 99%
“…This method extends naturally to word-level learning for bitvectors, yet our own approach is more general, as our learnt constraints do not mention particular assignments, they are solely derived from the relationship between the propagation clauses of the constraints that lead to a conflict. The HaifaCSP solver [28] is able to learn general constraints through a resolution-inspired method in a more general and concise way than nogood assignments. The approach uses a non-clausal learning that relies on direct inference between the constraints themselves as well as SAT inspired techniques, notably a similar heuristic to VSIDS [3] for variable ordering.…”
Section: Learning In Constraintmentioning
confidence: 99%