29th International Conference on Principles and Practice of Constraint Programming (CP 2023)

Book title Buchtitel
29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
 
ISBN
978-3-95977-300-3
 
Editor Herausgeber_in
 
Publisher Herausgeber
Schloss-Dagstuhl - Leibniz Zentrum für Informatik
 
DOI
10.4230/LIPIcs.CP.2023
 
Series Schriftenreihe
Leibniz International Proceedings in Informatics
 
Volume Band
280
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ramaswamy-2023-Proven Optimally-Balanced Latin Rectangles with SAT-vor.pdf.jpgRamaswamy, Vaidyanathan Peruvemba ; Szeider, Stefan Proven Optimally-Balanced Latin Rectangles with SATInproceedings Konferenzbeitrag 22-Sep-2023