×

Found 20 Documents (Results 1–20)

Exact and parameterized algorithms for read-once refutations in Horn constraint systems. (English) Zbl 07551727

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 327-345 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Restricted cutting plane proofs in Horn constraint systems. (English) Zbl 1435.68303

Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 149-164 (2019).
PDFBibTeX XMLCite
Full Text: DOI

The complexity of finding read-once NAE-resolution refutations. (English) Zbl 1483.68145

Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 64-76 (2017).
PDFBibTeX XMLCite
Full Text: DOI

On the computational complexity of read once resolution decidability in 2CNF formulas. (English) Zbl 1485.68110

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 362-372 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new verification procedure for partially clairvoyant scheduling. (English) Zbl 1124.68014

Pettersson, Paul (ed.) et al., Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30946-2/pbk). Lecture Notes in Computer Science 3829, 127-141 (2005).
PDFBibTeX XMLCite
Full Text: DOI

On Boolean models for quantified Boolean Horn formulas. (English) Zbl 1204.03017

Giunchiglia, Enrico (ed.) et al., Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Berlin: Springer (ISBN 3-540-20851-8/pbk). Lect. Notes Comput. Sci. 2919, 93-104 (2004).
MSC:  03B05 68Q25 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

On determining the minimum length, tree-like resolution refutation of 2SAT, and extended 2SAT formulas. (English) Zbl 1030.68570

Jean-Marie, Alain (ed.), Advances in computing science - ASIAN 2002. Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing. 7th Asian computing science conference, Hanoi, Vietnam, December 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2550, 57-65 (2002).
MSC:  68T15 68Q17 03F20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software