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

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
31st International Conference on Principles and Practice of Constraint Programming (CP 2025)
 
ISBN
978-3-95977-380-5
 
Editor Herausgeber_in
 
Publisher Verlag
Schloss Dagstuhl
 
Place of publishing Erscheinungsort
Leibniz
 
Volume Band
340
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hofstadler, Clemens ; Kaufmann, Daniela Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit VerificationInproceedings Konferenzbeitrag 8-Aug-2025