Document Search Results - zbMATH Open

×

from until

Sorting

Found 12 Documents (Results 1–12)

Newest Citations Relevance

Nawrocki, Wojciech; Liu, Zhenjun; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin

XOR local search for Boolean Brent equations. (English) Zbl 07495589

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 417-435 (2021).

MSC: 68Q25 68R07 68T20

Cite Review PDF

Full Text: DOI

Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei

Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. (English) Zbl 1520.68105

Artif. Intell. 299, Article ID 103559, 32 p. (2021).

MSC: 68R07 06E30 68T20

Cite Review PDF

Full Text: DOI

Yamashita, Hiroshi; Aihara, Kazuyuki; Suzuki, Hideyuki

Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient. (English) Zbl 1528.65018

Commun. Nonlinear Sci. Numer. Simul. 102, Article ID 105908, 14 p. (2021).

MSC: 65D99 68T20

Cite Review PDF

Full Text: DOI

OA License

Niu, Dangdang; Liu, Lei; Lü, Shuai

New stochastic local search approaches for computing preferred extensions of abstract argumentation. (English) Zbl 1462.68184

AI Commun. 31, No. 4, 369-382 (2018).

MSC: 68T27 68T20

Cite Review PDF

Full Text: DOI

Abramé, André; Habet, Djamal; Toumi, Donia

Improving configuration checking for satisfiable random \(k\)-SAT instances. (English) Zbl 1404.68136

Ann. Math. Artif. Intell. 79, No. 1-3, 5-24 (2017).

MSC: 68T20

Cite Review PDF

Full Text: DOI

Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile

New local search methods for partial MaxSAT. (English) Zbl 1386.68152

Artif. Intell. 240, 1-18 (2016).

MSC: 68T20

Cite Review PDF

Full Text: DOI

KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin

SATenstein: automatically building local search SAT solvers from components. (English) Zbl 1351.68255

Artif. Intell. 232, 20-42 (2016).

MSC: 68T20 68T15

Cite Review PDF

Full Text: DOI Link

Lardeux, Frédéric; Monfroy, Eric; Crawford, Broderick; Soto, Ricardo

Set constraint model and automated encoding into SAT: application to the social golfer problem. (English) Zbl 1332.90277

Ann. Oper. Res. 235, 423-452 (2015).

MSC: 90C30 90C90

Cite Review PDF

Full Text: DOI arXiv

Cai, Shaowei; Luo, Chuan; Su, Kaile

CCAnr: a configuration checking based local search solver for non-random satisfiability. (English) Zbl 1471.68240

Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 1-8 (2015).

MSC: 68T20

Cite Review PDF

Full Text: DOI

Angione, Claudio; Occhipinti, Annalisa; Nicosia, Giuseppe

Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions. (English) Zbl 1347.68177

ACM J. Exp. Algorithm. 19, Article No. 1.4, 15 p. (2014).

MSC: 68Q25 68T20

Cite Review PDF

Full Text: DOI Link

Cai, Shaowei; Su, Kaile

Local search for Boolean satisfiability with configuration checking and subscore. (English) Zbl 1334.68200

Artif. Intell. 204, 75-98 (2013).

MSC: 68T20

Cite Review PDF

Full Text: DOI Link

Tompkins, Dave A. D.; Balint, Adrian; Hoos, Holger H.

Captain Jack: new variable selection heuristics in local search for SAT. (English) Zbl 1330.68277

Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 302-316 (2011).

MSC: 68T20 03B05 68T15

Cite Review PDF

Full Text: DOI

Filter Results by …

Document Type

Journal Articles (9)
Collection Articles (3)

all top 5

Author

all top 5

Serial

Artif. Intell. (4)
AI Commun. (1)
Ann. Oper. Res. (1)
Ann. Math. Artif. Intell. (1)
Commun. Nonlinear Sci. Numer. Simul. (1)
ACM J. Exp. Algorithm. (1)

all top 5

Year of Publication

2021 (3)
2018 (1)
2017 (1)
2016 (2)
2015 (2)
2014 (1)
2013 (1)
2011 (1)

all top 3

Main Field

68-XX (11)
03-XX (1)
06-XX (1)
65-XX (1)
90-XX (1)

all top 3

Software

© 2024 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions