search result

Cover von Breaking Symmetries with Involutions

Breaking Symmetries with Involutions

Year: 2025
Media group: LIPIcs
Cover von Theory and Applications of Satisfiability Testing
SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9 - 12, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11628
Media group: MONOGRAPHIE
Cover von Symmetries for Cube-And-Conquer in Finite Model Finding

Symmetries for Cube-And-Conquer in Finite Model Finding

Year: 2023
Media group: LIPIcs
Cover von SAT-Based Leximax Optimisation Algorithms

SAT-Based Leximax Optimisation Algorithms

Year: 2022
Media group: LIPIcs
Cover von Towards Learning Quantifier Instantiation in SMT

Towards Learning Quantifier Instantiation in SMT

Year: 2022
Media group: LIPIcs
Cover von Filtering Isomorphic Models by Invariants (Short Paper)

Filtering Isomorphic Models by Invariants (Short Paper)

Year: 2021
Media group: LIPIcs
Cover von The Seesaw Algorithm

The Seesaw Algorithm

Function Optimization Using Implicit Hitting Sets
Year: 2021
Media group: LIPIcs
Cover von Proof Complexity of Resolution-based QBF Calculi

Proof Complexity of Resolution-based QBF Calculi

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0