Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Clause learning"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Algorithm
2
Algorithmus
2
Clause learning
2
Learning
2
Learning process
2
Lernen
2
Lernprozess
2
Theorie
2
Theory
2
Backtracking
1
Branch and Bound
1
Branch-and-Bound
1
Branch-and-Bound algorithm
1
Combinatorial optimization
1
Conflict-driven clause learning
1
Dantzig-Wolfe decomposition
1
Decomposition method
1
Dekompositionsverfahren
1
Electric vehicle
1
Elektrofahrzeug
1
Graph Coloring
1
Graph theory
1
Graphentheorie
1
Logic-based Benders decomposition
1
Mathematical programming
1
Mathematische Optimierung
1
SAT
1
Scheduling
1
Synchronization
1
Tourenplanung
1
Vehicle routing problem
1
Weighted partial MaxSAT
1
more ...
less ...
Online availability
All
Free
1
Undetermined
1
Type of publication
All
Article
3
Type of publication (narrower categories)
All
Article in journal
3
Aufsatz in Zeitschrift
3
Language
All
English
3
Author
All
Coll, Jordi
1
Desaulniers, Guy
1
Habet, Djamal
1
Huang, Chong
1
Lam, Edward
1
Li, Chu-Min
1
Li, Chu-min
1
Li, Shuolin
1
Manyà, Felip
1
Stuckey, Peter J.
1
Xu, Ruchu
1
Zhou, Zhaoyang
1
more ...
less ...
Published in...
All
Computers & operations research : and their applications to problems of world concern ; an international journal
2
Computers & operations research : an international journal
1
Source
All
ECONIS (ZBW)
3
Showing
1
-
3
of
3
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Solving weighted Maximum Satisfiability with Branch and Bound and
clause
learning
Coll, Jordi
;
Li, Chu-Min
;
Li, Shuolin
;
Habet, Djamal
; …
- In:
Computers & operations research : an international journal
183
(
2025
),
pp. 1-13
Persistent link: https://www.econbiz.de/10015472531
Saved in:
2
Branch-and-cut-and-price for the electric vehicle routing problem with time windows, piecewise-linear recharging and capacitated recharging stations
Lam, Edward
;
Desaulniers, Guy
;
Stuckey, Peter J.
- In:
Computers & operations research : and their …
145
(
2022
),
pp. 1-16
Persistent link: https://www.econbiz.de/10013345614
Saved in:
3
An exact algorithm with learning fr the graph coloring problem
Zhou, Zhaoyang
;
Li, Chu-min
;
Huang, Chong
;
Xu, Ruchu
- In:
Computers & operations research : and their …
51
(
2014
),
pp. 282-301
Persistent link: https://www.econbiz.de/10010408846
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
FAQ-Assistent (beta)
×
Loading...
