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

Event name

Event type

Event for scientific audience

Start date

25-09-2006

End date

29-09-2006

Location

Nantes, Frankreich

Country

Europe

Event format Veranstaltungsformat

On Site

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

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Demirovic, Emir ; Le Calvar, Theo ; Musliu, Nysret ; Inoue, Katsumi	An Exact Algorithm for Unicost Set Covering	Konferenzbeitrag Inproceedings	2016
2	Ganian, Robert ; Ramanujan, M. Sridharan ; Szeider, Stefan	Backdoors to Tractable Valued CSP	Konferenzbeitrag Inproceedings	2016
3	Samer, Marko ; Szeider, Stefan	Constraint Satisfaction with Bounded Treewidth Revisited	Konferenzbeitrag Inproceedings	2006
4	Peitl, Tomáš ; Szeider, Stefan	Finding the Hardest Formulas for Resolution	Konferenzbeitrag Inproceedings	2020
5	Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan	MaxSAT-Based Postprocessing for Treedepth	Konferenzbeitrag Inproceedings	2020
6	Kirchweger, Markus ; Szeider, Stefan	SAT Modulo Symmetries for Graph Generation	Konferenzbeitrag Inproceedings	2021
7	Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan	Subexponential Time Complexity of CSP with Global Constraints	Konferenzbeitrag Inproceedings	2014
8	Gaspers, Serge ; Szeider, Stefan	The Parameterized Complexity of Local Consistency	Konferenzbeitrag Inproceedings	2011