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:"Satisfiability"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Theorie
7
Theory
7
Mathematical programming
4
Mathematische Optimierung
4
Satisfiability
4
Satisfiability problem
4
Scheduling-Verfahren
4
Combinatorial optimization
3
Scheduling problem
3
Semidefinite programming
3
Forecasting model
2
Global optimization
2
Optimization
2
Prognoseverfahren
2
Project management
2
Project scheduling
2
Projektmanagement
2
USA
2
United States
2
AT
1
Algorithm
1
Algorithmus
1
Alternative subgraphs
1
Analysis of algorithm
1
Auction
1
Auction theory
1
Auktion
1
Auktionstheorie
1
BOOLEAN SATISFIABILITY PROBLEM
1
BSO
1
Boolean satisfiability
1
Broadcast
1
Broadcasting policy
1
Complexity
1
Computational complexity
1
Concession
1
Convex quadratic programming
1
Coverage Criteria
1
Data distribution
1
Data mining techniques
1
more ...
less ...
Online availability
All
Undetermined
16
Free
6
Type of publication
All
Article
20
Book / Working Paper
3
Type of publication (narrower categories)
All
Article in journal
11
Aufsatz in Zeitschrift
11
Graue Literatur
2
Non-commercial literature
2
Working Paper
2
Arbeitspapier
1
Hochschulschrift
1
research-article
1
more ...
less ...
Language
All
English
16
Undetermined
7
Author
All
Anjos, Miguel F.
2
Ahmadi, Reza H.
1
Alway, Alyaa
1
Artigues, Christian
1
Azevedo, Guilherme Henrique Ismael de
1
Bai, Lijie
1
Bartsch, Thomas
1
Biroli, Giulio
1
Brimkov, Boris
1
Briskorn, Dirk
1
Charbonneau, Steven
1
Cocco, Simona
1
Coelho, Josév
1
Costa, James A.
1
Coudert, Anthony B.
1
Croella, Anna Livia
1
Dasu, Sriram
1
Drias, Habiba
1
Dunford, Melissa
1
Epstein, Gary M.
1
Fattahi, Ali
1
Fréchette, Alexandre
1
Gao, Yicong
1
Greistorfer, Peter
1
Großmann, Peter
1
He, Kun
1
Hicks, Illya V.
1
Hireche, Celia
1
Hoffman, Karla L.
1
Horbach, Andrei
1
Hu, Bingtao
1
Javid, Sasha
1
Kiddoo, Jean L.
1
Kochenberger, Gary
1
Kofler, Christian
1
Kwerel, Evan
1
Lai, Xinsheng
1
Leyton-Brown, Kevin
1
Li, Chu-Min
1
Li, Mingdong
1
more ...
less ...
Institution
All
Technische Universität Dresden
1
Published in...
All
European journal of operational research : EJOR
2
Physica A: Statistical Mechanics and its Applications
2
Computational Optimization and Applications
1
Computational Statistics
1
Computers & operations research : an international journal
1
Computers & operations research : and their applications to problems of world concern ; an international journal
1
Data Technologies and Applications
1
Decision analytics journal
1
INFORMS journal on applied analytics
1
INFORMS journal on computing : JOC
1
International Journal of Information System Modeling and Design (IJISMD)
1
International journal of production research
1
Journal of Global Optimization
1
Journal of scheduling
1
Journal of the Operational Research Society
1
Manuskripte aus den Instituten für Betriebswirtschaftslehre der Universität Kiel
1
Mathematical Methods of Operations Research
1
Operations research
1
Working paper : working paper series
1
Управление большими системами: сборник трудов
1
more ...
less ...
Source
All
ECONIS (ZBW)
13
RePEc
7
Other ZBW resources
2
EconStor
1
Showing
1
-
10
of
23
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems
Croella, Anna Livia
;
Luteberget, Bjørnar
;
Mannino, Carlo
; …
- In:
Computers & operations research : an international journal
167
(
2024
),
pp. 1-14
Persistent link: https://www.econbiz.de/10014566861
Saved in:
2
A novel Hybrid Exhaustive Search and data preparation technique with multi-objective Discrete Hopfield Neural Network
Alway, Alyaa
;
Nur Ezlin Zamri
;
Mohd. Asyraf Mansor
; …
- In:
Decision analytics journal
9
(
2023
),
pp. 1-13
paper employs
satisfiability
logic to represent the attributes of a dataset in the DHNN. This logic representation enables …
Persistent link: https://www.econbiz.de/10014533145
Saved in:
3
A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean
satisfiability
solver
Servranckx, Tom
;
Coelho, Josév
;
Vanhoucke, Mario
- In:
European journal of operational research : EJOR
316
(
2024
)
3
,
pp. 815-827
Persistent link: https://www.econbiz.de/10014576735
Saved in:
4
A cerebellar operant conditioning-inspired constraint satisfaction approach for product design concept generation
Li, Mingdong
;
Lou, Shanhe
;
Gao, Yicong
;
Zheng, Hao
;
Hu, …
- In:
International journal of production research
61
(
2023
)
17
,
pp. 5822-5841
Persistent link: https://www.econbiz.de/10014382643
Saved in:
5
Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts
Zhou, Yupeng
;
Liu, Minghao
;
Ma, Feifei
;
Luo, Na
;
Yin, …
- In:
Journal of the Operational Research Society
73
(
2022
)
8
,
pp. 1682-1691
Persistent link: https://www.econbiz.de/10013373050
Saved in:
6
Improved computational approaches and heuristics for zero forcing
Brimkov, Boris
;
Mikesell, Derek
;
Hicks, Illya V.
- In:
INFORMS journal on computing : JOC
33
(
2021
)
4
,
pp. 1384-1399
Persistent link: https://www.econbiz.de/10012796864
Saved in:
7
A
satisfiability
and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints
Azevedo, Guilherme Henrique Ismael de
;
Pessoa, Artur
; …
- In:
European journal of operational research : EJOR
289
(
2021
)
3
,
pp. 809-824
Persistent link: https://www.econbiz.de/10012433083
Saved in:
8
Satisfiability
and optimization in periodic traffic flow problems
Großmann, Peter
-
2016
Persistent link: https://www.econbiz.de/10012427425
Saved in:
9
Mass customization and "forecasting options' penetration rates problem"
Fattahi, Ali
;
Dasu, Sriram
;
Ahmadi, Reza H.
- In:
Operations research
67
(
2019
)
4
,
pp. 1120-1134
Persistent link: https://www.econbiz.de/10012062936
Saved in:
10
An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem
Xu, Zhenxing
;
He, Kun
;
Li, Chu-Min
- In:
Computers & operations research : and their …
104
(
2019
),
pp. 49-58
Persistent link: https://www.econbiz.de/10011991172
Saved in:
1
2
3
Next
Last
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
