search result

Cover von Relating Existing Powerful Proof Systems for QBF

Relating Existing Powerful Proof Systems for QBF

Year: 2022
Media group: LIPIcs
Cover von An End-To-End Verification of Keller’s Conjecture

An End-To-End Verification of Keller’s Conjecture

Year: 2026
Media group: LIPIcs
Cover von Factoring Learned Clauses

Factoring Learned Clauses

Year: 2026
Media group: LIPIcs
Cover von Simplify, Order, Break, Repeat

Simplify, Order, Break, Repeat

Year: 2026
Media group: LIPIcs
Cover von Reencoding Unique Literal Clauses

Reencoding Unique Literal Clauses

Year: 2025
Media group: LIPIcs
Cover von Certifying Projected Knowledge Compilation

Certifying Projected Knowledge Compilation

Year: 2025
Media group: LIPIcs
Cover von Part II.; Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Search for this author
Year: 2024
Publisher: Berlin, Springer
Automated Reasoning
Volume: Part II.
Series: Lecture notes in artificial intelligence; 14740
Media group: MONOGRAPHIE
Cover von Automated Reasoning

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings
2024
Berlin, Springer
Series: Lecture notes in artificial intelligence; 14739/14740
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Automated Reasoning
Volume: Part I.
Series: Lecture notes in artificial intelligence; 14739
Media group: MONOGRAPHIE
Cover von PackIt!

PackIt!

Gamified Rectangle Packing
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0