Experiential Solving: Towards a Unified Autonomous Search Constraint Solving Approach

2015 ◽  
pp. 573-577
Author(s):  
Broderick Crawford ◽  
Ricardo Soto ◽  
Kathleen Crawford ◽  
Franklin Johnson ◽  
Claudio León de la Barra ◽  
...  
Keyword(s):  
Constraint Solving ◽  
Autonomous Search

CSS Minification via Constraint Solving

2019 ◽  
Vol 41 (2) ◽  
pp. 1-76
Author(s):  
Matthew Hague ◽  
Anthony W. Lin ◽  
Chih-Duo Hong
Keyword(s):  
Constraint Solving

scholarly journals Dual Control for Exploitation and Exploration (DCEE) in autonomous search

Automatica ◽  
2021 ◽  
Vol 133 ◽  
pp. 109851
Author(s):  
Wen-Hua Chen ◽  
Callum Rhodes ◽  
Cunjia Liu
Keyword(s):  
Dual Control ◽  
Autonomous Search ◽  
Exploitation And Exploration

Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

Constraints ◽  
2004 ◽  
Vol 9 (3) ◽  
pp. 167-192
Author(s):  
Guillem Godoy ◽  
Robert Nieuwenhuis
Keyword(s):  
Constraint Solving

Backpropagation networks for logic constraint solving

1994 ◽  
Vol 6 (1) ◽  
pp. 67-98 ◽  
Author(s):  
Angelo Monfroglio
Keyword(s):  
Constraint Solving

Adaptive and Multilevel Approach for Constraint Solving

2013 ◽  
pp. 650-654 ◽  
Author(s):  
Claudio León de la Barra ◽  
Broderick Crawford ◽  
Ricardo Soto ◽  
Eric Monfroy
Keyword(s):  
Constraint Solving ◽  
Multilevel Approach

scholarly journals A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 114593-114606 ◽  
Author(s):  
Jian Lin ◽  
Liehui Jiang ◽  
Yisen Wang ◽  
Weiyu Dong
Keyword(s):  
Constraint Solving ◽  
Value Set ◽  
A Value
Sign in / Sign up

Export Citation Format

Share Document