Login / Signup
Borbála Fazakas
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Probabilistic Graphical Models
First Order Logic
Theorem Prover
Markov Logic
Top Venues
ICCP
</>
Publications
</>
Borbála Fazakas
,
Barna Keresztes
,
Adrian Groza
Generating and solving the LIGHTS OUT! game in first order logic.
ICCP
(2022)