Login / Signup
Wolf De Wulf
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Objective Function
Pseudo Boolean
Game Tree Search
Sat Solving
Top Venues
CoRR
ICLP Technical Communications
ICCC
LPNMR
</>
Publications
</>
Aryo Pradipta Gema
,
Dominik Grabarczyk
,
Wolf De Wulf
,
Piyush Borole
,
Javier Antonio Alfaro
,
Pasquale Minervini
,
Antonio Vergari
,
Ajitha Rajan
Knowledge Graph Embeddings in the Biomedical Domain: Are They Useful? A Look at Link Prediction, Rule Learning, and Downstream Polypharmacy Tasks.
CoRR
(2023)
Dieter Vandesande
,
Wolf De Wulf
,
Bart Bogaerts
QMaxSATpb: A Certified MaxSAT Solver.
LPNMR
(2022)
Wolf De Wulf
Producing Creative Chess through Chess Engine Selfplay.
ICCC
(2021)
Wolf De Wulf
,
Bart Bogaerts
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories.
ICLP Technical Communications
(2020)