Firearm possession among adolescents presenting to an urban emergency department for assault
Carter, Patrick M, Walton, Maureen A, Newton, Manya F, Clery, Michael, Whiteside, Lauren K, Zimmerman, Marc A, Cunningham, Rebecca M
Published in Pediatrics (Evanston) (01.08.2013)
Published in Pediatrics (Evanston) (01.08.2013)
Get more information
Journal Article
New Inference Rules for Max-SAT
Li, C. M., Manya, F., Planes, J.
Published in The Journal of artificial intelligence research (01.01.2007)
Published in The Journal of artificial intelligence research (01.01.2007)
Get full text
Journal Article
The Effect of Neighborhood Context on the Relationship Between Substance Misuse and Weapons Aggression in Urban Adolescents Seeking ED Care
Goldstick, Jason Elliott, Lipton, Robert I., Carter, Patrick, Stoddard, Sarah A., Newton, Manya F., Reischl, Thomas, Walton, Maureen, Zimmerman, Marc A., Cunningham, Rebecca M.
Published in Substance use & misuse (01.04.2015)
Published in Substance use & misuse (01.04.2015)
Get full text
Journal Article
Unintentional injuries in child care centers in the United States: A systematic review
Hashikawa, Andrew N, Newton, Manya F, Cunningham, Rebecca M, Stevens, Martha W
Published in Journal of child health care (01.03.2015)
Published in Journal of child health care (01.03.2015)
Get full text
Journal Article
Uninsured Patients and Emergency Department Use in the United States—Reply
Keirns, Carla C, Newton, Manya F
Published in JAMA : the journal of the American Medical Association (18.03.2009)
Published in JAMA : the journal of the American Medical Association (18.03.2009)
Get full text
Journal Article
Mapping many-valued CNF formulas to Boolean CNF formulas
Ansotegui, C., Manya, F.
Published in 35th International Symposium on Multiple-Valued Logic (ISMVL'05) (2005)
Published in 35th International Symposium on Multiple-Valued Logic (ISMVL'05) (2005)
Get full text
Conference Proceeding
Complete Genome Sequence of Halomonas sp. Strain SH5A2, a Dye-Degrading Halotolerant Bacterium Isolated from the Salinas and Aguada Blanca National Reserve in Peru
Manya, Walter F, Lizárraga, Wendy C, Mormontoy, Carlo G, Taira, Mario A, Ramírez, Pablo S
Published in Microbiology resource announcements (14.01.2021)
Published in Microbiology resource announcements (14.01.2021)
Get full text
Journal Article
A modular reduction of regular logic to classical logic
Bejar, R., Hahnle, R., Manya, F.
Published in Proceedings / International Symposium on Multiple-Valued Logic (2001)
Published in Proceedings / International Symposium on Multiple-Valued Logic (2001)
Get full text
Conference Proceeding
Journal Article
New logical and complexity results for Signed-SAT
Ansotegui, C., Manya, F.
Published in 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings (2003)
Published in 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Transformations between signed and classical clause logic
Beckert, B., Hahnle, R., Manya, F.
Published in Proceedings / International Symposium on Multiple-Valued Logic (1999)
Published in Proceedings / International Symposium on Multiple-Valued Logic (1999)
Get full text
Conference Proceeding
Journal Article
The interface between P and NP in signed CNF formulas
Ansotegui, C., Bejar, R., Cabiscol, A., Manya, F.
Published in Proceedings. 34th International Symposium on Multiple-Valued Logic (2004)
Published in Proceedings. 34th International Symposium on Multiple-Valued Logic (2004)
Get full text
Conference Proceeding
The 2-SAT problem of regular signed CNF formulas
Beckert, B., Hahnle, R., Manya, F.
Published in Proceedings / International Symposium on Multiple-Valued Logic (2000)
Published in Proceedings / International Symposium on Multiple-Valued Logic (2000)
Get full text
Conference Proceeding
Journal Article
Automated monitoring of medical protocols: a secure and distributed architecture
Alsinet, T., Ansótegui, C., Béjar, R., Fernández, C., Manyà, F.
Published in Artificial intelligence in medicine (01.03.2003)
Published in Artificial intelligence in medicine (01.03.2003)
Get full text
Journal Article
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables
Get full text
Book Chapter
Conference Proceeding
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
Get full text
Book Chapter
Conference Proceeding
Solving Over-Constrained Problems with SAT Technology
Get full text
Book Chapter
Conference Proceeding