Name Card

Full name Familienname, Vorname

Shukla, Ankit

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Shukla, Ankit ; Slivovsky, Friedrich ; Szeider, Stefan	Short Q-Resolution Proofs with Homomorphisms	Konferenzbeitrag Inproceedings	2020
	2		Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit	An Approximate Model Counter for ASP	Konferenzbeitrag Inproceedings	2020
	3		Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit	Extending XORRO with Approximate Model Counting	Präsentation Presentation	2020