Title Titel
Constraints
 
e-ISSN
1572-9354
 
ISSN
1383-7133
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Results 1-6 of 6 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Egly, Uwe ; Seidl, Martina ; Woltran, Stefan A Solver for QBFs in Negation Normal FormArtikel Article2009
2Dreier-2023-Constraints-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP beyond tractable constraint languagesArticle Artikel Sep-2023
3Lackner-2023-Constraints-vor.pdf.jpgLackner, Marie-Louise ; Mrkvicka, Christoph ; Musliu, Nysret ; Walkiewicz, Daniel ; Winter, Felix Exact methods for the Oven Scheduling ProblemArticle Artikel Jun-2023
4Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard Fast and parallel decomposition of constraint satisfaction problemsArticle Artikel 24-Oct-2022
5Hebrard, Emmanuel ; Musliu, Nysret Introduction to the CPAIOR 2020 fast track issueArtikel Article2020
6Samer, Marko ; Szeider, Stefan Tractable Cases of the Extended Global Cardinality ConstraintArtikel Article2011