Author Search Results

1

Counting Minimal Unsatisfiable Subsets

Counting Minimal Unsatisfiable Subsets

by Bendík, J., Meel, Kuldeep S.
Published 2022

Get full text

Conference or Workshop Item

2

Predicting Forest Fire Using Remote Sensing Data And Machine Learning

Predicting Forest Fire Using Remote Sensing Data And Machine Learning

by Yang, Suwei, Lupascu, Massimo, Meel, Kuldeep
Published 2021

Get full text

Conference or Workshop Item

3

Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?

Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?

by Chakraborty, Diptarka, Chakraborty, Sourav, Kumar, Gunjan, Meel, Kuldeep S
Published 2023

Get full text

Conference or Workshop Item