Counting models for 2SAT and 3SAT formulae von DAHLLÖF, Vilhelm, JONSSON, Peter, WAHLSTRÖM, Magnus

Volltext

Algorithms for Max Hamming Exact Satisfiability von Dahllöf, Vilhelm

Volltext

Applications of General Exact Satisfiability in Propositional Logic Modelling von Dahllöf, Vilhelm

Volltext

Algorithms for Max Hamming Exact Satisfiability von Dahllof, Vilhelm

Volltext bestellen

Algorithms for four variants of the exact satisfiability problem von Dahllöf, Vilhelm, Jonsson, Peter, Beigel, Richard

Volltext

Algorithms for Max Hamming Exact Satisfiability von Dahllof, Vilhelm

Volltext

Counting models for 2 SAT and 3 SAT formulae von Dahllöf, Vilhelm, Jonsson, Peter, Wahlström, Magnus

Volltext

Exact Algorithms for Exact Satisfiability Problems von Dahllöf, Vilhelm

Volltext bestellen

Counting Satisfying Assignments in 2-SAT and 3-SAT von Dahllöf, Vilhelm, Jonsson, Peter, Wahlström, Magnus

Volltext

Finite Domain Constraint Satisfaction Using Quantum Computation von Angelsmark, Ola, Dahllöf, Vilhelm, Jonsson, Peter

Volltext