felixvuo

Research Associate (PostDoc) in Artificial Intelligence

University of York

Pinned Repositories

tex-words-worm
Plot your latex word count over time
Language:Python20
conjure
Conjure: The Automated Constraint Modelling Tool
Language:Haskell00
cp2022-pbli-sat
Experimental Data for "Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints" in CP2022
00
csplib
A benchmark library for constraints
Language:Prolog00
felixvuo.github.io
Somewhere to share and publish during my PhD
Language:HTML00
hello-world
Language:HTML00
lease-data
Learning to Select SAT Encodings - Data and Code for Experiments
Language:Jupyter Notebook00
pandoc
Universal markup converter
Language:Haskell34k3.3k
quarto-cli
Open-source scientific and technical publishing system built on Pandoc.
Language:JavaScript3.8k308

felixvuo's Repositories

felixvuo/felixvuo.github.io
Somewhere to share and publish during my PhD
Language:HTML
felixvuo/csplib
A benchmark library for constraints
Language:Prolog
felixvuo/lease-data
Learning to Select SAT Encodings - Data and Code for Experiments
Language:Jupyter Notebook
felixvuo/cp2022-pbli-sat
Experimental Data for "Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints" in CP2022
felixvuo/tex-words-worm
Plot your latex word count over time
Language:Python2
felixvuo/conjure
Conjure: The Automated Constraint Modelling Tool
felixvuo/hello-world
Language:HTML