Informatik (15 755 Artikel)

This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021.  The 13 presented ...

First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers

Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers

To accommodate the diversified new research directions in theoretical computer science, FAW and IJTCS joined their forces together to organize an event for information exchange of new findings and ...

International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings

17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings

This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like it...

Invited Paper.- Combining Logic and Optimization in Cutting Plane Theory.- Session 1.- Towards Cooperative Interval Narrowing.- Integrating Constraint Solving into Proof Planning.- Termination of C...

Logics, Theories, and Decision Procedures I.- A Comprehensive Framework for Combined Decision Procedures.- Connecting Many-Sorted Structures and Theories Through Adjoint Functions.- Combining Data ...

Section 1. Invited Contributions.- Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.- From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain.- Hierarchi...

12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full p...

This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full ...

This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full paper...