search result

Cover von Towards Universally Accessible SAT Technology

Towards Universally Accessible SAT Technology

Year: 2024
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 377, SAT 2026, Complete Volume

LIPIcs, Volume 377, SAT 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 29th International Conference on Theory and Applications of Satisfiability Testing
SAT 2026, Lisbon, Portugal, July 20-23, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 377
Media group: LIPIcs
Cover von From Formal Boosted Tree Explanations to Interpretable Rule Sets

From Formal Boosted Tree Explanations to Interpretable Rule Sets

Year: 2023
Media group: LIPIcs
Cover von Efficient Explanations for Rule Ensembles

Efficient Explanations for Rule Ensembles

Year: 2026
Media group: LIPIcs
Cover von Towards Modern and Modular SAT for LCG (Short Paper)

Towards Modern and Modular SAT for LCG (Short Paper)

Year: 2025
Media group: LIPIcs
Cover von Anytime Approximate Formal Feature Attribution

Anytime Approximate Formal Feature Attribution

Year: 2024
Media group: LIPIcs
Cover von Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms

Author: Ignatiev, Alexey
Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0