Search results
From MaRDI portal
- breaking for SAT-based minimum DFA inference 2019-12-04 Paper Formally verifying the solution to the Boolean Pythagorean triples problem 2019-09-02 Paper...10 bytes (20 words) - 23:16, 9 December 2023
- Improvements to MCS algorithm for the maximum clique problem 2014-04-08 Paper A decomposition approach to the two-stage stochastic unit commitment problem 2014-03-31...10 bytes (19 words) - 14:56, 7 December 2023
- Elementary theories of free topo-Boolean and pseudo-Boolean algebras 1985-01-01 Paper Bases of admissible rules of the logics S4 and Int 1985-01-01 Paper...10 bytes (19 words) - 17:23, 11 December 2023
- Paper The Choquet integral for the aggregation of interval scales in multicriteria decision making. 2003-08-07 Paper On the extension of pseudo-Boolean...10 bytes (16 words) - 21:55, 11 December 2023
- results for the stable marriage problem 2010-08-14 Paper Online chasing problems for regular polygons 2010-06-09 Paper The complexity of the Hajós calculus...10 bytes (17 words) - 01:53, 9 December 2023
- Solution and Optimization of Systems of Pseudo-Boolean Constraints 2018-06-12 Paper Symmetry breaking for pseudo-Boolean formulas 2017-06-15 Paper https://portal...10 bytes (18 words) - 06:55, 13 December 2023
- An exact algorithm for the Boolean connectivity problem for \(k\)-CNF 2011-09-12 Paper Derandomizing the HSSW algorithm for 3-SAT 2011-08-17 Paper Stochastic...10 bytes (16 words) - 20:12, 24 September 2023
- algorithm for the MaxMin diversity problem 2011-11-17 Paper A filter-and-fan approach to the 2D HP model of the protein folding problem 2011-11-17 Paper...10 bytes (18 words) - 10:08, 8 December 2023
- Unsupervised attribute reduction for mixed data based on fuzzy rough sets 2023-11-23 Paper Efficient local search for pseudo Boolean optimization 2022-03-22...10 bytes (16 words) - 15:35, 6 October 2023
- analysis with censored data in the presence of many weak instruments: application to the effect of being sentenced to prison on time to employment 2019-02-25 Paper...10 bytes (15 words) - 21:06, 24 September 2023
- exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle 1995-11-05 Paper Lower bounds to the size of constant-depth...10 bytes (17 words) - 12:15, 9 December 2023
- 2014-11-25 Paper Pseudorandom walks on regular digraphs and the RL vs. L problem 2014-11-25 Paper On the efficiency of local decoding procedures for error-correcting...10 bytes (17 words) - 22:04, 8 December 2023
- estimates of the projection method for the time-dependent natural convection problem: first order scheme 2017-03-15 Paper Chinese postman problem on edge-colored...10 bytes (16 words) - 11:13, 6 October 2023
- Traveling Salesman Problem: Beating the Average 2016-02-05 Paper Tight lower bounds for the workflow satisfiability problem based on the strong exponential...10 bytes (18 words) - 10:09, 8 December 2023
- the spectrum problem in the theory of computable models. 2004-06-15 Paper On \(L_ p\)-solutions of boundary value problems. 2004-06-15 Paper On the asymptotic...10 bytes (15 words) - 12:30, 24 September 2023
- 2016-11-17 Paper An efficient alternative to the exact evaluation of the quickest path flow network reliability problem 2016-11-17 Paper An adaptive large neighborhood...10 bytes (15 words) - 00:48, 25 September 2023
- solution to the Dirichlet problem for a quasilinear equation inside and outside a paraboloid 2014-01-17 Paper Transformation formulas for pseudo-characters...10 bytes (16 words) - 12:14, 7 October 2023
- fixed-parameter tractability (FPT); reduction to the pseudo-Boolean SAT problem; user-independent constraints; workflow satisfiability problem (WSP) Mathematics Subject...15 bytes (73 words) - 03:31, 30 January 2024
- as a SAT problem, Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT., Worst-case study of local search for MAX-\(k\)-SAT., On the structure...15 bytes (714 words) - 05:00, 7 March 2024
- traveling salesman problem, An inverse problem of the weighted shortest path problem, The complexity of resource allocation and price mechanisms under...15 bytes (3,137 words) - 22:52, 7 February 2024