Author of the publication

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).

, , , , , and . Electron. Notes Discret. Math., (2001)

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.

 

Other publications of authors with the same name

Explaining Local, Global, And Higher-Order Interactions In Deep Learning., , , and . ICCV, page 1204-1213. IEEE, (2021)Towards a Theory of Question-Answering Interfaces to Databases., , and . New Directions in Question Answering, page 73-74. AAAI Press, (2003)Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems, , , and . Journal of Automated Reasoning, 24 (1/2): 67--100 (2000)Organizing Committee., , and . AAAI Spring Symposium: Human Behavior Modeling, AAAI, (2009)Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training., and . AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems, volume FS-08-02 of AAAI Technical Report, page 70-77. AAAI, (2008)Bottom-Up Design of Software Agents., , and . Commun. ACM, 37 (7): 143-146 (1994)The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture.. AI Mag., 43 (1): 93-104 (2022)The Complexity of Model-Preference Default Theories., and . NMR, volume 346 of Lecture Notes in Computer Science, page 115-130. Springer, (1988)A Privacy-Sensitive Approach to Modeling Multi-Person Conversations., , , and . IJCAI, page 1769-1775. (2007)Unifying SAT-based and Graph-based Planning., and . IJCAI, page 318-325. Morgan Kaufmann, (1999)