( en | de | ru )

 

Disambiguation of "Sitharam, Meera"

Author of the publication

copydeleteadd this publication to your clipboard
Generating hard tautologies using predicate logic and the symmetric group.

, and . Logic Journal of the IGPL, 8 (6): 787-795 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Meera Gandbhir

Mir Habib Meeradji

Meera Shah

Meera Sarma

Meera Prem

 

Other publications of authors with the same name

Finding Solvable Subsets of Constraint Graphs., , and . CP, volume 1330 of Lecture Notes in Computer Science, page 463-477. Springer, (1997)Rapid prediction of crucial hotspot interactions for icosahedral viral capsid self-assembly by energy landscape atlasing validated by mutagenesis., , , and . PLoS Comput. Biol., (2020)Deranomized Learning of Boolean Functions., and . ALT, volume 1316 of Lecture Notes in Computer Science, page 100-115. Springer, (1997)FRONTIER: fully enabling geometric constraints for feature-based modeling and assembly., , , and . Symposium on Solid Modeling and Applications, page 307-308. ACM, (2001)Cayley Configuration Spaces of 1-dof Tree-decomposable Linkages, Part I: Structure and Extreme Points, , and . CoRR, (2011)Characterizing graphs with convex and connected configuration spaces, and . CoRR, (2008)Solution space navigation for geometric constraint systems., , , and . ACM Trans. Graph., 25 (2): 194-213 (2006)On Flattenability of Graphs., and . ADG, volume 9201 of Lecture Notes in Computer Science, page 129-148. Springer, (2014)Characterizing Graphs with Convex and Connected Cayley Configuration Spaces., and . Discret. Comput. Geom., 43 (3): 594-625 (2010)EASAL (Efficient Atlasing, Analysis and Search of Molecular Assembly Landscapes)., and . BICoB, page 233-238. ISCA, (2011)