C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Lianne V. Hufkens
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Constraint Satisfaction
Predicate Logic
Hierarchically Organized
Computing Systems
Top Venues
RCIS Workshops
CG
CoG
</>
Publications
</>
Jos W. H. M. Uiterwijk
,
Lianne V. Hufkens
Solving Impartial SET Using Knowledge and Combinatorial Game Theory.
CG
(2022)
Pekka Aho
,
Tanja E. J. Vos
,
Otto Sybrandi
,
Sorin Patrasoiu
,
Joona Oikarinen
,
Olivia Rodriguez Valdes
,
Lianne V. Hufkens
IVVES (Industrial-Grade Verification and Validation of Evolving Systems).
RCIS Workshops
(2022)
Lianne V. Hufkens
,
Cameron Browne
A Functional Taxonomy of Logic Puzzles.
CoG
(2019)