//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research 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:"MaxSAT"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
MaxSAT
4
Theorie
4
Theory
4
Mathematical programming
3
Mathematische Optimierung
3
Branch-and-bound
2
Scheduling problem
2
Scheduling-Verfahren
2
AT
1
Approximate coloring
1
Branch and Bound
1
Branch-and-Bound
1
Branching ordering
1
Combinatorial optimization
1
ITC 2019
1
Incremental MaxSAT Reasoning
1
Learning process
1
Lernprozess
1
MAX-SAT
1
MaxClique
1
Maximum clique problem
1
Multi-criteria analysis
1
Multikriterielle Entscheidungsanalyse
1
Multiple criteria analysis
1
Non-compensatory sorting
1
Operations Research
1
Operations research
1
Optimization
1
PESP
1
Peaceman–Rachford splitting method
1
Preference learning
1
SAT
1
SAT/MaxSAT
1
Satisfiability
1
University course timetabling
1
incremental upper bound
1
semidefinite programming
1
sum of squares
1
weighted partial MAX-SAT
1
more ...
less ...
Online availability
All
Undetermined
4
Free
2
Type of publication
All
Article
6
Book / Working Paper
1
Type of publication (narrower categories)
All
Article in journal
6
Aufsatz in Zeitschrift
6
Graue Literatur
1
Hochschulschrift
1
Non-commercial literature
1
Language
All
English
7
Author
All
Jiang, Hua
2
Li, Chu-Min
2
Batsyn, Mikhail
1
Belahcène, Khaled
1
Fang, Zhiwen
1
Großmann, Peter
1
Khaled, Oumaima
1
Lemos, Alexandre
1
Lynce, Inês
1
Manyà, Felip
1
Monteiro, Pedro T.
1
Mousseau, Vincent
1
Nikolaev, Alexey
1
Ouerdane, Wassila
1
San Segundo, Pablo
1
Sinjorgo, Lennart
1
Sotirov, Renata
1
Tlili, Ali
1
Xu, Ke
1
more ...
less ...
Institution
All
Technische Universität Dresden
1
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
INFORMS journal on computing : JOC
1
INFORMS journal on computing : JOC ; charting new directions in operations research and computer science ; a journal of the Institute for Operations Research and the Management Sciences
1
Journal of scheduling : JOS
1
Source
All
ECONIS (ZBW)
7
Showing
1
-
7
of
7
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
On solving
MAX-SAT
using sum of squares
Sinjorgo, Lennart
;
Sotirov, Renata
- In:
INFORMS journal on computing : JOC ; charting new …
36
(
2024
)
2
,
pp. 417-433
Persistent link: https://www.econbiz.de/10014532298
Saved in:
2
Learning non-compensatory sorting models using efficient SAT/
MaxSAT
formulations
Tlili, Ali
;
Belahcène, Khaled
;
Khaled, Oumaima
; …
- In:
European journal of operational research : EJOR
298
(
2022
)
3
,
pp. 979-1006
Persistent link: https://www.econbiz.de/10013206918
Saved in:
3
Introducing UniCorT : an iterative university course timetabling tool with
MaxSAT
Lemos, Alexandre
;
Monteiro, Pedro T.
;
Lynce, Inês
- In:
Journal of scheduling : JOS
25
(
2022
)
4
,
pp. 371-390
Persistent link: https://www.econbiz.de/10013453873
Saved in:
4
Satisfiability and optimization in periodic traffic flow problems
Großmann, Peter
-
2016
Persistent link: https://www.econbiz.de/10012427425
Saved in:
5
Incremental upper bound for the maximum clique problem
Li, Chu-Min
;
Fang, Zhiwen
;
Jiang, Hua
;
Xu, Ke
- In:
INFORMS journal on computing : JOC
30
(
2018
)
1
,
pp. 137-153
Persistent link: https://www.econbiz.de/10011848219
Saved in:
6
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:
7
Infra-chromatic bound for exact maximum clique search
San Segundo, Pablo
;
Nikolaev, Alexey
;
Batsyn, Mikhail
- In:
Computers & operations research : and their …
64
(
2015
),
pp. 293-303
Persistent link: https://www.econbiz.de/10011373432
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->