| 2020 | Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective. | K. Subramani, Piotr Wojciechowski |
| 2020 | Empirical Bounds on Linear Regions of Deep Rectifier Networks. | Thiago Serra, Srikumar Ramalingam |
| 2020 | Smart Sprayer for Precision Weed Control Using Artificial Intelligence: Comparison of Deep Learning Frameworks. | Victor Partel, Jinho Kim, Lucas Costa, Panos M. Pardalos, Yiannis Ampatzidis |
| 2020 | Another Way to Browse the Search Space For Some Transformations from CSP to SAT. | Richard Ostrowski, Lionel Paris, Adrien Varet |
| 2020 | Horse foraging behavior detection using Recurrent Neural Networks. | Leon Nunes, Yiannis Ampatzidis, Lucas Costa, Marcelo Wallau |
| 2020 | The Complexity of Controlling Condorcet, Fallback, and k-Veto Elections by Replacing Candidates or Voters. | Marc Neveling, Jrg Rothe, Roman Zorn |
| 2020 | On the conditional expectation given Boolean functions of events in the n-space. | Jinwook Lee, Andrs Prkopa |
| 2020 | Bounds for the Probability of the Union of Events. | Joonhee Lee, Endre Boros |
| 2020 | On the size of CNF formulas with high propagation strength. | Petr Kucera, Petr Savick |
| 2020 | Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases. | Christian Komo, Christoph Beierle |
| 2020 | VC-dimensions of nondeterministic finite automata for words of equal length. | Bjrn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi |
| 2020 | Altruism in Coalition Formation Games. | Anna Maria Kerkmann, Jrg Rothe |
| 2020 | Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products. | Daya Ram Gaur, Muhammad Khan |
| 2020 | Development of A Multi-Angle Imaging System for Automatic Strawberry Flower Counting. | Hao Gan, Won Suk Lee, Natalia A. Peres, Clyde W. Fraisse |
| 2020 | Lower Bounds for Adversarially Robust PAC Learning. | Dimitrios I. Diochnos, Saeed Mahloujifar, Mohammad Mahmoody |
| 2020 | Interpretability of Bayesian Network Classifiers: OBDD Approximation and Polynomial Threshold Functions. | Karine Chubarian, Gyrgy Turn |
| 2020 | Compiling SL representations of Boolean functions into OBDDs. | Milos Chrom, Ondrej Cepek |
| 2020 | Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting. | Jingchao Chen |
| 2020 | Approximating minimum representations of key Horn functions. | Kristf Brczi, Endre Boros, Ondrej Cepek, Petr Kucera, Kazuhisa Makino |
| 2020 | Partially Preordered Inconsistent Lightweight Ontologies in Possibility Theory. | Sihem Belabbes, Salem Benferhat |
| 2020 | Detecting and monitoring the progress of powdery mildew disease in squash using hyperspectral imaging and artificial neural networks. | Jaafar Abdulridha, Yiannis Ampatzidis, Pamela Roberts, Sri Charan Kakarla |
| 2020 | Hybrid Quantum-Classical Algorithms for Solving the Weighted CSP. | Hong Xu, Kexuan Sun, Sven Koenig, Itay Hen, T. K. Satish Kumar |
| 2018 | A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary Report. | Wlodek Zadrozny, Luciana Garbayo |
| 2018 | Survey of Techniques for Efficient Solving of Boolean Formulas from Formal Verification of Pipelined, Superscalar, and VLIW Microprocessors at a High Level of Abstraction. | Miroslav N. Velev |
| 2018 | A Weighted Majority Voting based on NMI for Cluster Analysis. | Meshal Shutaywi, Nezamoddin Nezamoddini-Kachouie |