Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-8

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing

Luca Pulina, Armando Tacchella

Fundamenta Informaticae

Open access

Research article

First published 2025-2

Parameterized complexity of abstract argumentation with collective attacks

Wolfgang Dvořák, Matthias König, Stefan Woltran

Argument & Computation

Retricted access

Research article

First published 2023-12-02

Convergence analysis of a survey propagation algorithm 1

Zhixin Xie, Xiaofeng Wang, Lan Yang [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2019

Expansion-based QBF Solving on Tree Decompositions *

Günther Charwat, Stefan Woltran

Fundamenta Informaticae

Retricted access

Research article

First published 2004-03

Optimizing Exact Genetic Linkage Computations

Maayan Fishelson, Dan Geiger

Journal of Computational Biology

Retricted access

Research article

First published 2016

D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy

Bernhard Bliem, Günther Charwat, Markus Hecher [...]

Fundamenta Informaticae

Retricted access

Research article

First published

QNet: A Tool for Querying Protein Interaction Networks

Banu Dost, Tomer Shlomi, Nitin Gupta [...]

Journal of Computational Biology

Retricted access

Research article

First published 2022

Structure and Power: an Emerging Landscape

Samson Abramsky

Fundamenta Informaticae

Open access

Research article

First published 2024-9

Foundations of spatial perception for robotics: Hierarchical representations and real-time systems

Nathan Hughes, Yun Chang, Siyi Hu [...]

The International Journal of Robotics Research

Search results