Name Card

Full name Familienname, Vorname
Mahajan, Meena
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Beyersdorff-2023-ACM Transactions on Computational Logic-am.pdf.jpgBeyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš Hardness Characterisations and Size-width Lower Bounds for QBF ResolutionArticle Artikel 27-Jan-2023
2Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav Hard QBFs for merge resolutionArticle Artikel 2023

Contributing Publications Mitbeteiligte Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kirchweger-2023-A SAT Solvers Opinion on the Erdos-Faber-Lovasz Conjecture-vor.pdf.jpgKirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan A SAT Solver's Opinion on the Erdos-Faber-Lovász ConjectureInproceedings Konferenzbeitrag 9-Aug-2023
2De Colnet-2023-Separating Incremental and Non-Incremental Bottom-Up Compi...-vor.pdf.jpgDe Colnet, Alexis Separating Incremental and Non-Incremental Bottom-Up CompilationInproceedings Konferenzbeitrag 9-Aug-2023
3Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023
4Rebola Pardo, Adrian Even Shorter Proofs Without New VariablesInproceedings Konferenzbeitrag 2023
5Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Claudia SAT and Interactions (Dagstuhl Seminar 20061)Konferenzband Proceedings2020
6Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and Almost Acyclic CNF FormulasKonferenzbeitrag Inproceedings 2010