Skip to content

International Symposium on Artificial Intelligence and Mathematics

ISAIM

National

CORE rank

CORE rank (raw)

National: USA

Fields of research

Artificial Intelligence

Papers indexed

455

2002–2024

Papers per year

200261 peak2024

ISAIM papers

455 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2014The sample complexity of agnostic learning with deterministic labels.Shai Ben-David, Ruth Urner
2014Efficient SAT-Encoding of Linear CSP Constraints.Pedro Barahona, Steffen Hlldobler, Van-Hau Nguyen
2014Evaluation of DNF Formulas.Sarah R. Allen, Lisa Hellerstein, Devorah Kletenik, Tongu nlyurt
2014About Some UP-Based Polynomial Fragments of SAT.Mohammad Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sas
2014Improving Configuration Checking for Satisfiable Random k-SAT Instances.Andr Abram, Djamal Habet, Donia Toumi
2012Approximating Common Voting Rules by Sequential Voting in Multi-Issue Domains.Lirong Xia, Vincent Conitzer
2012On hierarchies over the SLUR class.Vclav Vlcek, Toms Balyo, Stefan Gursk, Petr Kucera
2012Developing the Empirical Side of Computational Social Choice.T. Nicolaus Tideman, Florenz Plassmann
2012A new imputation method for incomplete binary data.Munevver Mine Subasi, Peter L. Hammer, Ersoy Subasi, Martin Anthony
2012Hydra formulas and directed hypergraphs: A preliminary report.Despina Stasi, Robert H. Sloan, Gyrgy Turn
2012Generalized and Bounded Policy Iteration for Interactive POMDPs.Ekhlas Sonu, Prashant Doshi
2012Implementations of two algorithms for the threshold synthesis problem.Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann
2012PAC-Learning in the Presence of One-sided Classification Noise.Hans Ulrich Simon
2012The Influence of Operational Cost on Estimation.Cynthia Rudin, Theja Tulabandhula
2012Typical-Case Challenges to Complexity Shields That Are Supposed to Protect Elections Against Manipulation and Control: A Survey.Jrg Rothe, Lena Schend
2012Behavioural social choice: a status report.Michel Regenwetter, Bernard Grofman, Anna Popova, William Messner, Clintin P. Davis-Stober, Daniel R. Cavagnaro
2012Soft Nonlinearity Constraints and their Lower-Arity Decomposition.Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo
2012Modeling Deep Strategic Reasoning by Humans in Competitive Games.Xia Qu, Prashant Doshi, Adam Goodie
2012A Survey of Approximability and Inapproximability Results for Social Welfare Optimization in Multiagent Resource Allocation.Trung Thanh Nguyen, Magnus Roos, Jrg Rothe
2012Exact Optimization of Social Welfare by the Nash Product is DP-Complete.Nhan-Tam Nguyen, Magnus Roos, Jrg Rothe
2012On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems.Achref El Mouelhi, Philippe Jgou, Cyril Terrioux, Bruno Zanuttini
2012Bribery in Voting Over Combinatorial Domains Is Easy.Nicholas Mattei, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
2012Robust Domain Adaptation.Yishay Mansour, Mariano Schain
2012Solving Limited Memory Influence Diagrams Using Branch-and-Bound Search.Arindam Khaled, Changhe Yuan, Eric A. Hansen
2012A Cost-Minimizing Algorithm for School Choice.Gizem Karaali, Sinan G. Aksoy, Adam Azzam, Chaya Coppersmith, Julie Glass, Xueying Zhao, Xinjing Zhu
226250 of 455← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.