EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"MaxSAT"
Narrow search

Narrow search

Year of publication
Subject
All
Theorie 5 Theory 5 Mathematical programming 4 Mathematische Optimierung 4 MaxSAT 4 Algorithm 2 Algorithmus 2 Branch and Bound 2 Branch-and-Bound 2 Branch-and-bound 2 Combinatorial optimization 2 Learning process 2 Lernprozess 2 MAX-SAT 2 SAT 2 Scheduling problem 2 Scheduling-Verfahren 2 AT 1 Algorithm configuration 1 Approximate coloring 1 Branch-and-Bound algorithm 1 Branching ordering 1 CVRP 1 Clause learning 1 Curriculum 1 Ensemble optimization 1 Higher education institution 1 Hochschule 1 ITC 2019 1 Incremental MaxSAT Reasoning 1 Learning 1 Lehrplan 1 Lernen 1 Linienverkehr 1 MILP 1 MaxClique 1 Maximum clique problem 1 Multi-criteria analysis 1 Multikriterielle Entscheidungsanalyse 1 Multiple criteria analysis 1
more ... less ...
Online availability
All
Free 4 Undetermined 4
Type of publication
All
Article 8 Book / Working Paper 1
Type of publication (narrower categories)
All
Article in journal 7 Aufsatz in Zeitschrift 7 Article 1 Graue Literatur 1 Hochschulschrift 1 Non-commercial literature 1
Language
All
English 9
Author
All
Li, Chu-Min 3 Jiang, Hua 2 Manyà, Felip 2 Batsyn, Mikhail 1 Belahcène, Khaled 1 Coll, Jordi 1 Fang, Zhiwen 1 Großmann, Peter 1 Habet, Djamal 1 Khaled, Oumaima 1 Lemos, Alexandre 1 Li, Shuolin 1 Lynce, Inês 1 Monteiro, Pedro T. 1 Mousseau, Vincent 1 Nikolaev, Alexey 1 Ouerdane, Wassila 1 San Segundo, Pablo 1 Schede, Elias 1 Sinjorgo, Lennart 1 Sotirov, Renata 1 Tierney, Kevin 1 Tlili, Ali 1 Weiß, Dimitri 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 Computers & operations research : an international journal 1 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 Heuristics 1 Journal of scheduling : JOS 1
more ... less ...
Source
All
ECONIS (ZBW) 8 EconStor 1
Showing 1 - 9 of 9
Cover Image
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:
Cover Image
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:
Cover Image
Selector: Ensemble-Based Automated Algorithm Configuration
Weiß, Dimitri; Schede, Elias; Tierney, Kevin - In: Journal of Heuristics 31 (2025) 3
Solvers contain parameters that influence their performance and these must be set by the user to ensure that high-quality solutions are generated, or optimal solutions are found quickly. Manually setting these parameters is tedious and error-prone, since search spaces may be large or even...
Persistent link: https://www.econbiz.de/10015484545
Saved in:
Cover Image
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:
Cover Image
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:
Cover Image
Satisfiability and optimization in periodic traffic flow problems
Großmann, Peter - 2016
Persistent link: https://www.econbiz.de/10012427425
Saved in:
Cover Image
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:
Cover Image
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:
Cover Image
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:
A service of the
zbw
FAQ-Assistent (beta)
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...