Results 91 to 100 of about 42,931 (182)

MidL: A SAT(ID) solver

, 2007
We introduce SAT(ID) and explain its relation both to SAT and to ASP. We then describe the SAT(ID) solver MidL. We outline its design and algorithms, and finally establish its performance by experiment.
Mariën, Maarten, Wittocx, Johan, Denecker, Marc   +2 more
openaire   +1 more source

Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints. [PDF]

Proc Natl Acad Sci U S A
Schwardt J, Budich JC.
europepmc   +1 more source

Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. [PDF]

J Autom Reason
Michaelson D, Schreiber D, Heule MJH, Kiesl-Reiter B, Whalen MW.   +4 more
europepmc   +1 more source

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

Unifying Splitting. [PDF]

J Autom Reason, 2023
Ebner G, Blanchette J, Tourret S.
europepmc   +1 more source

Privacy-hardened and hallucination-resistant synthetic data generation with logic-solvers. [PDF]

Bioinformatics
Burgess MA, Hosking B, Reguant R, Kaphle A, O'Brien MJ, Sng LMF, Jain Y, Bauer DC.   +7 more
europepmc   +1 more source

A Diagnostic Procedure for Identifying Isotherm Models in Liquid Chromatography. [PDF]

Ind Eng Chem Res
Katsoulas K, Galvanin F, Mazzei L, Sorensen E.   +3 more
europepmc   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

How large language models need symbolism. [PDF]

Natl Sci Rev
Deng X, Li H.
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