30th International Conference on Principles and Practice of Constraint Programming (CP 2024)

View Statistics Email Alert RSS Feed

Book details

Book details Buch-Details

Book title Buchtitel

30th International Conference on Principles and Practice of Constraint Programming (CP 2024)

ISBN

978-3-95977-336-2

Publisher Verlag

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Volume Band

307

Publications Publikationen

Access Type

2 Open Access

Peer-Reviewed

2 true

Author

Subject

Date issued

2 2000 - 2025

Publication Type

2 Inproceedings

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

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Kirchweger, Markus ; Szeider, Stefan	Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries	Inproceedings Konferenzbeitrag	2024
	2		Schidler, André ; Szeider, Stefan	Structure-Guided Local Improvement for Maximum Satisfiability	Inproceedings Konferenzbeitrag	2024