长垣产业园区科技文献服务平台

会议文集


文集名Automated Reasoning
会议名12th International Joint Conference on Automated Reasoning (IJCAR 2024)
中译名《第十二届国际自动推理联合会议，卷1》
会议日期July 3-6, 2024
会议地点Nancy, France
出版年2024
馆藏号352910


题名作者出版年
Automated Reasoning for MathematicsJeremy Avigad2024
Induction in SaturationLaura Kovacs; Petra Hozzova; Marton Hajdu; Andrei Voronkov2024
Stepping Stones in the TPTP WorldGeoff Sutcliffe2024
An Empirical Assessment of Progress in Automated Theorem ProvingGeoff Sutcliffe; Christian Suttner; Lars Kotthoff; C. Raymond Perrault; Zain Khalid2024
A Higher-Order VampireAhmed Bhayat; Martin Suda2024
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order LogicJohannes Niederhauser; Chad E. Brown; Cezary Kaliszyk2024
The Naproche-ZF Theorem ProverAdrian De Lon2024
Reducibility Constraints in SuperpositionMarton Hajdu; Laura Kovacs; Michael Rawson; Andrei Voronkov2024
First-Order Automatic Literal Model GenerationMartin Bromberger; Florent Krasnopol; Sibylle Mohle; Christoph Weidenbach2024
Synthesis of Recursive Programs in SaturationPetra Hozzova; Daneshvar Amrollahi; Marton Hajdu; Laura Kovacs; Andrei Voronkov; Eva Maria Wagner2024
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order LogicJan Heuer; Christoph Wernhard2024
Regularization in Spider-Style Strategy Discovery and Schedule ConstructionFilip Bartek; Karel Chvalovsky; Martin Suda2024
Lemma Discovery and Strategies for Automated InductionSolrun Halla Einarsdottir; Marton Hajdu; Moa Johansson; Nicholas Smallbone; Martin Suda2024
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoATNils Lommen; Eleanore Meyer; Jurgen Giesl2024
On the (In-)Completeness of Destructive Equality Resolution in the Superposition CalculusUwe Waldmann2024
Model Completeness for Rational TreesSilvio Ghilardi; Lia M. Poidomani2024
Certifying Phase AbstractionNils Froleyks; Emily Yu; Armin Biere; Keijo Heljanko2024
Verifying a Realistic Mutable Hash Table Case StudySamuel Chassot; Viktor Kuncak2024
Booleguru, the Propositional PolyglotMaximilian Heisinger; Simone Heisinger; Martina Seidl2024
Quantifier Shifting for Quantified Boolean Formulas RevisitedSimone Heisinger; Maximilian Heisinger; Adrian Rebola-Pardo; Martina Seidl2024
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024