How to win a game with features

DOI10.1007/BFb0016863zbMath1495.68045MaRDI QIDQ5096316

Rolf Backofen, Ralf Treinen

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

Mathematics Subject Classification ID

03B70: Logic in computer science

03C13: Model theory of finite structures

68P05: Data structures

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Combination of constraint systems II: Rational amalgamation, Combination of constraint solvers for free and quasi-free structures