Module for SAT decision by means of graph decomposition. More...

Classes
class	Width_elimination_sequence
	Functor computing the width induced by an elimination sequence. More...
struct	Treewidth_by_enumerating_elimination_sequences
class	Test_Width_elimination_sequence
Variables
Test_Width_elimination_sequence < Width_elimination_sequence, boost::adjacency_list < boost::setS, boost::listS, boost::undirectedS > >	test_width_elimination_sequence

Detailed Description

Module for SAT decision by means of graph decomposition.

Variable Documentation