Results 151 to 160 of about 62,255 (228)

A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences. [PDF]

Constraints, 2022
Cseh Á, Escamocher G, Genç B, Quesada L.   +3 more
europepmc   +1 more source

Minimum uncertainty as Bayesian network model selection principle. [PDF]

BMC Bioinformatics
Gogoshin G, Rodin AS.
europepmc   +1 more source

Special Issue of Selected Extended Papers of IJCAR 2020. [PDF]

J Autom Reason, 2022
Peltier N, Sofronie-Stokkermans V.
europepmc   +1 more source

Metalevel Algorithms for Variant Satisfiability

Workshop on Rewriting Logic and Its Applications, 2016
Stephen Skeirik, J. Meseguer
semanticscholar   +1 more source

Quantum verification of NP problems with single photons and linear optics. [PDF]

Light Sci Appl, 2021
Zhang A, Zhan H, Liao J, Zheng K, Jiang T, Mi M, Yao P, Zhang L.   +7 more
europepmc   +1 more source

Analytic and Algorithmic Solution of Random Satisfiability Problems

Science, 2002
Marc Mézard, Giorgio Parisi, Giorgio Parisi, Riccardo Zecchina, Riccardo Zecchina   +4 more
semanticscholar   +1 more source

A Localized Scalable DNA Logic Circuit System Based on the DNA Origami Surface. [PDF]

Int J Mol Sci
Tang Z, Li S, Chen C, Zhou Z, Yin Z.
europepmc   +1 more source

Generating Datasets for Real-Time Scheduling on 5G New Radio. [PDF]

Entropy (Basel), 2023
Jin X, Chai H, Xia C, Xu C.
europepmc   +1 more source

Solving perfect matchings by frequency-grouped multi-photon events using a silicon chip. [PDF]

Nat Commun
Zhu P, Zheng Q, Wang K, Yu M, Xia G, Liu J, Liu Y, Zhu Z, Xu P.   +8 more
europepmc   +1 more source

Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae

The Journal of Logic Programming, 1984
W. F. Dowling, J. Gallier
semanticscholar   +1 more source