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
Exact Max-SAT solvers for over...
Similar by person
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Mathematical programming
3
Mathematische Optimierung
3
Scheduling problem
3
Scheduling-Verfahren
3
Theorie
3
Theory
3
Branch and Bound
2
Branch-and-Bound
2
Algorithm
1
Algorithmus
1
Branch and bound
1
Branch-and-bound
1
Branching ordering
1
Combinatorial optimization
1
Exact and heuristic solvers
1
Heuristics
1
Heuristik
1
Incremental MaxSAT Reasoning
1
Longest common subsequence
1
Maximum clique problem
1
Maximum weight clique problem
1
Transformation to maximum clique
1
Upper bound
1
Weight cover
1
more ...
less ...
Online availability
All
Undetermined
3
Type of publication
All
Article
4
Type of publication (narrower categories)
All
Article in journal
3
Aufsatz in Zeitschrift
3
Language
All
English
3
Undetermined
1
Author
All
Manyà, Felip
4
Jiang, Hua
3
Li, Chu-Min
3
Alsinet, Teresa
1
Blum, Christian
1
Djukanovic, Marko
1
Li, Yu
1
Liu, Yanli
1
Planes, Jordi
1
Raidl, Günter R.
1
Santini, Alberto
1
more ...
less ...
Published in...
All
Computers & operations research : and their applications to problems of world concern ; an international journal
2
European journal of operational research : EJOR
1
Journal of global optimization : an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management and engineering
1
Source
All
ECONIS (ZBW)
3
OLC EcoSci
1
Showing
1
-
4
of
4
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
An efficient solver for weighted Max-SAT
Alsinet, Teresa
;
Manyà, Felip
;
Planes, Jordi
- In:
Journal of global optimization : an international …
41
(
2008
)
1
,
pp. 61-74
Persistent link: https://www.econbiz.de/10007986581
Saved in:
2
A new upper bound for the maximum weight clique problem
Li, Chu-Min
;
Liu, Yanli
;
Jiang, Hua
;
Manyà, Felip
;
Li, Yu
- In:
European journal of operational research : EJOR
270
(
2018
)
1
,
pp. 66-77
Persistent link: https://www.econbiz.de/10011868925
Saved in:
3
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem
Li, Chu-Min
;
Jiang, Hua
;
Manyà, Felip
- In:
Computers & operations research : and their …
84
(
2017
),
pp. 1-15
Persistent link: https://www.econbiz.de/10011710166
Saved in:
4
Solving longest common subsequence problems via a transformation to the maximum clique problem
Blum, Christian
;
Djukanovic, Marko
;
Santini, Alberto
; …
- In:
Computers & operations research : and their …
125
(
2021
),
pp. 1-17
Persistent link: https://www.econbiz.de/10012390324
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
