research
∙
08/04/2022
Core Challenge 2022: Solver and Graph Descriptions
This paper collects all descriptions of solvers and ISR instances submit...
share
research
∙
07/28/2022
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Given a graph G and two independent sets S, T of G, the independent set ...
research
∙
10/02/2015
Implementing Efficient All Solutions SAT Solvers
All solutions SAT (AllSAT for short) is a variant of propositional satis...
research
∙
12/20/2013