Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2004.14378
Cited By

Towards Faster Reasoners By Using Transparent Huge Pages

Towards Faster Reasoners By Using Transparent Huge Pages

International Conference on Principles and Practice of Constraint Programming (CP), 2020

29 April 2020

Johannes Fichte

Norbert Manthey

Julian Stecklina

André Schidler

ArXiv (abs)PDF HTML

Papers citing "Towards Faster Reasoners By Using Transparent Huge Pages"

4 / 4 papers shown

IASCAR: Incremental Answer Set Counting by Anytime Refinement

IASCAR: Incremental Answer Set Counting by Anytime RefinementTheory and Practice of Logic Programming (TPLP), 2023

Johannes Fichte

Dominik Rusovac

126

3

0

13 Nov 2023

The Model Counting Competition 2020

The Model Counting Competition 2020ACM Journal of Experimental Algorithmics (JEA), 2020

Johannes Fichte

141

74

0

02 Dec 2020

A Time Leap Challenge for SAT Solving

A Time Leap Challenge for SAT Solving

Johannes Fichte

102

24

0

05 Aug 2020

Exploiting Database Management Systems and Treewidth for Counting

Exploiting Database Management Systems and Treewidth for CountingInternational Symposium on Practical Aspects of Declarative Languages (PADL), 2020

Johannes Fichte

243

27

0

13 Jan 2020

Page 1 of 1